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

DOI10.1016/0743-1066(93)90026-DzbMATH Open0776.68029WikidataQ127956980 ScholiaQ127956980MaRDI QIDQ5286920FDOQ5286920

Authors: Ulf Nilsson 

Publication date: 1 December 1993

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

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

zbMATH Keywords

partial evaluationabstract machine

Mathematics Subject Classification ID

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

Cited In (5)

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

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)