An experiment in abstract machine design

Software - Practice and Experience

Volumn 27, Issue 1, 1997, Pages 49-62

  Diehl, Stephan ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Abstract machines; Compiler design; Logic programming; Partial evaluation; Typed feature structures; WAM

Indexed keywords

DATA STRUCTURES; MACHINE ORIENTED LANGUAGES; PROGRAM COMPILERS; PROGRAM TRANSLATORS; PROLOG (PROGRAMMING LANGUAGE);

ABSTRACT MACHINE DESIGN; TYPED FEATURE STRUCTURES; WARREN ABSTRACT MACHINE (WAM);

LOGIC PROGRAMMING;

EID: 0030784278     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(199701)27:1<49::AID-SPE73>3.0.CO;2-D     Document Type: Article

References (14)

1. P. Kursawe, 'How to invent a Prolog machine', Proc. Third international Conference on Logic Programming, Lecture Notes in Computer Science 255, Springer-Verlag, Berlin, 1986, pp. 134-148.
2. D. H. D. Warren, 'Implementing Prolog - compiling predicate logic programs', D.A.I. Research Report No. 40, Edinburgh, 1977.
3. U. Nilsson, 'Abstract interpretation & abstract machines: contributions to a methodology for the implementation of logic programs', PhD thesis, Linköping University, Sweden, 1992.
4. U. Nilsson, 'Towards a methodology for the design of abstract machines', J. Logic Programming, 16, 163-189 (1993).
5. S. Diehl, 'Prolog and typed feature structures: a compiler for parallel computers', Master's Thesis, Worcester Polytechnic Institute, Worcester, MA, 1993.
6. D. Sahlin, 'The MIXTUS approach to automatic partial evaluation of full Prolog', Proc. North American Conference on Logic Programming, MIT Press, 1990.
7. A. Lakhotia and L. Sterling, 'ProMix: a Prolog partial evaluation system', in L. Sterling (ed), The Practice of Prolog, MIT Press, 1990, pp. 137-179.
8. M. Hanus, 'Implementierung logischer Programmiersprachen', Lecture Notes, Max-Planck-Institut für Informatik, Saarbrücken, Germany, 1992.
9. A. Lakhotia and L. Sterling, 'How to control unfolding when specializing interpreters', Technical Report CES-88-08, Case Western Reserve University, Cleveland, OH, 1988.
10. H. Ait-Kaci and R. Nasr, 'LOGIN: A logic programming language with built-in inheritance', Journal of Logic Programming, 3, 185-215 (1986).
11. S. Shieber, An Introduction to Unification-Based Approaches to Grammar, Center for the Study of Language and Information, Stanford University, 1986.
12. H. Aït-Kaci, R. Boyer, P. Lincoln and R. Nasr, 'Efficient implementation of lattice operations', ACM Trans. Programming Languages and Systems, 11(1), 115-146 (January 1989).
13. D. M. Russinoff, 'A verified Prolog compiler for the Warren Abstract Machine', Journal of Logic Programming, 13, 367-412 (1992).
14. H. Aït-Kaci, Warren's Abstract Machine - A Tutorial Reconstruction, MIT Press, 1991.