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

DOI10.1007/978-3-540-71410-1_7zbMath1196.68034OpenAlexW1534192350MaRDI QIDQ3591073

Manuel Carro, Manuel V. Hermenegildo, Jose Francisco 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

optimizationprogram transformationcompilationPrologabstract machines

Mathematics Subject Classification ID

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

Uses Software

• wamcc

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