Fast Offline Partial Evaluation of Large Logic Programs

DOI10.1007/978-3-642-00515-2_9zbMath1185.68164OpenAlexW1721643047MaRDI QIDQ3617434

Germán Vidal, Michael Leuschel

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)

Related Items (3)

Fast offline partial evaluation of logic programs ⋮ A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs ⋮ Annotation of logic programs for independent AND-parallelism by partial evaluation

Uses Software

• ECCE
• DPPD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
• Logic program specialisation through partial deduction: Control issues
• A semantic basis for the termination analysis of logic programs
• Offline specialisation in Prolog using a hand-written compiler generator
• Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
• Fully Automatic Binding-Time Analysis for Prolog
• Program Development in Computational Logic

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