Semantics-directed generation of a Prolog compiler

DOI10.1016/0167-6423(93)90011-DzbMath0801.68028WikidataQ123222998 ScholiaQ123222998MaRDI QIDQ1314540

Charles Consel, Siau-Cheng Khoo

Publication date: 17 February 1994

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

zbMATH Keywords

partial evaluationdenotational semanticsPrologcompilerautomatic compiler generation

Mathematics Subject Classification ID

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

Related Items (1)

On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory

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