Towards Description and Optimization of Abstract Machines in an Extension of Prolog

DOI10.1007/978-3-540-71410-1_7MaRDI QIDQ3591073zbMATH OpenOpenAlexFDO

Authors M. Carro, Manuel Hermenegildo, J. F. Morales

Publication date 10 September 2007

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL http://oa.upm.es/14323/

zbMATH Keywords

optimizationcompilationPrologabstract machinesprogram transformation

Mathematics Subject Classification ID

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

Recommendations

• Description and optimization of abstract machines in a dialect of Prolog
• The Vienna abstract machine
• A verified prolog compiler for the Warren Abstract Machine
• How to invent a Prolog machine
• Towards a methodology for the design of abstract machines for logic programming languages

Cited in

(3)

• Compiling Prolog to idiomatic Java
• Description and optimization of abstract machines in a dialect of Prolog
• A simple code improvement scheme for prolog

Describes a project that uses

Uses Software

• wamcc

This page was built for publication: Towards Description and Optimization of Abstract Machines in an Extension of Prolog

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