EMPIRICAL STUDY OF THE WARREN ABSTRACT MACHINE.

Volumn , Issue , 1987, Pages 114-124

  Touati, Herve ^a   Despain, Alvin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC; OPTIMIZATION;

LOGIC PROGRAMMING; PROLOG COMPILER OPTIMIZATION; WARREN ABSTRACT MACHINE;

COMPUTER OPERATING SYSTEMS;

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

References (29)