Semantics-directed generation of a Prolog compiler

DOI10.1016/0167-6423(93)90011-DzbMATH Open0801.68028WikidataQ123222998 ScholiaQ123222998MaRDI QIDQ1314540FDOQ1314540

Authors: Charles Consel, Siau-Cheng Khoo 

Publication date: 17 February 1994

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

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

zbMATH Keywords

denotational semanticspartial evaluationPrologcompilerautomatic compiler generation

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Natural semantics-directed generation of compilers and abstract machines
• On Church's formal theory of functions and functionals. The \(\lambda\)- 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)