Towards a methodology for the design of abstract machines for logic programming languages

DOI10.1016/0743-1066(93)90026-DMaRDI QIDQ5286920zbMATH OpenWikidataFDO

Authors Ulf Nilsson

Publication date 1 December 1993

Published in The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

partial evaluationabstract machine

Mathematics Subject Classification ID

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

Recommendations

• How to invent a Prolog machine
• A verified prolog compiler for the Warren Abstract Machine
• Description and optimization of abstract machines in a dialect of Prolog
• scientific article; zbMATH DE number 1420805
• scientific article; zbMATH DE number 773979

Cited in

(5)

• How to invent a Prolog machine
• A generative methodology for the design of abstract machines
• Logic Based Program Synthesis and Transformation
• Description and optimization of abstract machines in a dialect of Prolog
• Towards Description and Optimization of Abstract Machines in an Extension of Prolog

This page was built for publication: Towards a methodology for the design of abstract machines for logic programming languages

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