Oracle-based partial evaluation

DOI10.1016/J.ENTCS.2008.11.024MaRDI QIDQ5415668zbMATH OpenOpenAlexFDO

Authors Claudio Ochoa, Germán Puebla

Publication date 13 May 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.11.024

zbMATH Keywords

logic programmingpartial evaluationprogram transformationresource-aware specialization

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• A study on the practicality of poly-controlled partial evaluation
• A hybrid approach to online and offline partial evaluation
• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Supporting Transformations for the Partial Evaluation of Logic Programs

Cites work

• Efficient Local Unfolding with Ancestor Stacks for Full Prolog
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Logic program specialisation through partial deduction: Control issues
• Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates

Cited in

(2)

• Partial evaluation of views
• A study on the practicality of poly-controlled partial evaluation

This page was built for publication: Oracle-based partial evaluation

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