Fast Offline Partial Evaluation of Large Logic Programs

DOI10.1007/978-3-642-00515-2_9MaRDI QIDQ3617434zbMATH OpenOpenAlexFDO

Authors Michael Leuschel, Germán Vidal

Publication date 24 March 2009

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-00515-2_9

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Fast offline partial evaluation of logic programs
• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
• Speedup of logic programs by binarization and partial deduction
• An efficient reasoning method on logic programming using partial evaluation in vector spaces
• A hybrid approach to conjunctive partial evaluation of logic programs
• Efficient evaluation of a class of ordered logic programs
• Towards just-in-time partial evaluation of Prolog
• Optimized algorithms for incremental analysis of logic programs
• scientific article; zbMATH DE number 2032417

Cites work

• A semantic basis for the termination analysis of logic programs
• Fully Automatic Binding-Time Analysis for Prolog
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (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
• Offline specialisation in Prolog using a hand-written compiler generator
• Program Development in Computational Logic
• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques

Cited in

(10)

• Fast offline partial evaluation of logic programs
• scientific article; zbMATH DE number 1630106 (Why is no real title available?)
• A hybrid approach to conjunctive partial evaluation of logic programs
• An efficient reasoning method on logic programming using partial evaluation in vector spaces
• Fast and accurate strong termination analysis with an application to partial evaluation
• Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
• scientific article; zbMATH DE number 1497826 (Why is no real title available?)
• Annotation of logic programs for independent AND-parallelism by partial evaluation
• Fully Automatic Binding-Time Analysis for Prolog

Describes a project that uses

Uses Software

• DPPD
• ECCE

This page was built for publication: Fast Offline Partial Evaluation of Large Logic Programs

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