Towards just-in-time partial evaluation of Prolog

DOI10.1007/978-3-642-12592-8_12MaRDI QIDQ3558295zbMATH OpenOpenAlexFDO

Authors Carl Friedrich Bolz, Michael Leuschel, A. Rigo

Publication date 4 May 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-12592-8_12

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1497829
• Program Development in Computational Logic
• Functional and Logic Programming
• A hybrid approach to online and offline partial evaluation
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency

Cited in

(2)

• Fast Offline Partial Evaluation of Large Logic Programs
• scientific article; zbMATH DE number 4060778 (Why is no real title available?)

Describes a project that uses

Uses Software

• ECCE

This page was built for publication: Towards just-in-time partial evaluation of Prolog

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