A specification of an abstract Prolog machine and its application to partial evaluation
By: Henryk Jan Komorowski
Contributors: Universitetet i Linköping
Series: Linköping studies in science and technology dissertations -- no. 69; Linköping studies in science and technology -- no. 69
Publisher: Linköping University, Software Systems Research Center
Published: 1981
Place of publication: Linköping, Sweden
Language: eng
Number of pages: 69
ISBN-13: 9789173724791
Subjects: Prolog (Computer program language); Computer programs; Evaluation
Notes: Thesis (doctoral)--Linköping University, 1981.

Bibliography: p. 67-69.