Semantics-directed generation of a Prolog compiler

DOI10.1016/0167-6423(93)90011-DMaRDI QIDQ1314540zbMATH OpenWikidataFDO

Authors Charles Consel, Siau-Cheng Khoo

Publication date 17 February 1994

Published in Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

denotational semanticspartial evaluationPrologcompilerautomatic compiler generation

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• A self-applicable partial evaluator and its use in incremental compilation
• scientific article; zbMATH DE number 572196
• scientific article; zbMATH DE number 1497829
• Denotational and operational semantics for prolog

Cited in

(5)

• scientific article; zbMATH DE number 4195155 (Why is no real title available?)
• scientific article; zbMATH DE number 572196 (Why is no real title available?)
• Natural semantics-directed generation of compilers and abstract machines
• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montrèal, Canada, September 20, 2000. Proceedings

This page was built for publication: Semantics-directed generation of a Prolog compiler

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1314540)