Needed narrowing strategy

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

Volumn , Issue , 1994, Pages 268-279

  Antoy, Sergio ^a   Echahed, Rachid ^a   Hanus, Michael ^a  

^a PORTLAND STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INTEGRATION; PROGRAM DIAGNOSTICS; PROGRAMMING THEORY;

NARROWING; REDUCTION STEP; SEQUENTIAL REWRITE SYSTEMS;

LOGIC PROGRAMMING;

EID: 0027928357     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (49)