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

DOI10.1007/978-3-540-71410-1_7zbMATH Open1196.68034OpenAlexW1534192350MaRDI QIDQ3591073FDOQ3591073

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/

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

zbMATH Keywords

optimizationcompilationPrologabstract machinesprogram transformation

Mathematics Subject Classification ID

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

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

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)