Search and imperative programming

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1997, Pages 67-79

  Apt, Krzysztof R ^a   Schaerf, Andrea ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; PROBLEM SOLVING; PROLOG (PROGRAMMING LANGUAGE);

IMPERATIVE PROGRAMMING; KNAPSACK PROBLEM; QUEENS PROBLEM; STRAIGHT SEARCH PROBLEM;

LOGIC PROGRAMMING;

EID: 0030646117     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/263699.263709     Document Type: Conference Paper

References (20)