A study on the practicality of poly-controlled partial evaluation

DOI10.1016/J.ENTCS.2007.01.008MaRDI QIDQ2873793zbMATH OpenOpenAlexFDO

Authors Claudio Ochoa, Germán Puebla

Publication date 24 January 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.2007.01.008

zbMATH Keywords

control strategiespartial evaluationprogram optimizationpruning techniquesresource awareness

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Oracle-based partial evaluation
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs
• scientific article; zbMATH DE number 1222408
• An improved reductant calculus using fuzzy partial evaluation techniques

Cites work

• A general criterion for avoiding infinite unfolding during partial deduction
• A study on the practicality of poly-controlled partial evaluation
• Automatic finite unfolding using well-founded measures
• Efficient Local Unfolding with Ancestor Stacks for Full Prolog
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 25188 (Why is no real title available?)
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Logic program specialisation through partial deduction: Control issues
• Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
• Partial evaluation in logic programming

Cited in

(2)

• A study on the practicality of poly-controlled partial evaluation
• Oracle-based partial evaluation

Describes a project that uses

Uses Software

• CiaoPP
• ECCE
• Ciao

This page was built for publication: A study on the practicality of poly-controlled partial evaluation

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