Semantics-directed generation of a Prolog compiler

This publication has 13 references indexed in Scilit:

• Static and dynamic semantics processing
  Published by Association for Computing Machinery (ACM) ,1991
• For a better support of static data flow
  Published by Springer Nature ,1991
• A denotational semantics for Prolog
  ACM Transactions on Programming Languages and Systems, 1989
• Mix: A self-applicable partial evaluator for experiments in compiler generation
  Higher-Order and Symbolic Computation, 1989
• Denotational and operational semantics for prolog
  The Journal of Logic Programming, 1988
• New insights into partial evaluation: the SCHISM experiment
  Published by Springer Nature ,1988
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• On the use of LISP in implementing denotational semantics
  Published by Association for Computing Machinery (ACM) ,1986
• An experiment in partial evaluation
  ACM SIGPLAN Notices, 1985
• Partial evaluation as a means for inferencing data structures in an applicative language
  Published by Association for Computing Machinery (ACM) ,1982