Conjunctive partial deduction: foundations, control, algorithms, and experiments

DOI10.1016/S0743-1066(99)00030-8MaRDI QIDQ4939538zbMATH OpenDBLPWikidataFDO

Authors Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, M. H. B. Sørensen

Publication date 26 September 2000

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(99)00030-8

zbMATH Keywords

conjunctive partial deductionunfold/fold transformations

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Partial deduction in disjunctive logic programming
• A hybrid approach to conjunctive partial evaluation of logic programs
• Publication:4506395
• Partial deduction for structured logic programming
• Logic program specialisation through partial deduction: Control issues
• scientific article; zbMATH DE number 4047193
• Publication:3495342
• On the partial semantics for disjunctive deductive databases

Cited in

(21)

• Rules + strategies for transforming lazy functional logic programs
• A framework for computing finite SLD trees
• Optimization of rewrite theories by equational partial evaluation
• Narrowing and rewriting logic: from foundations to applications
• A hybrid approach to conjunctive partial evaluation of logic programs
• scientific article; zbMATH DE number 5129614 (Why is no real title available?)
• A Finite Representation of the Narrowing Space
• scientific article; zbMATH DE number 512771 (Why is no real title available?)
• scientific article; zbMATH DE number 1497829 (Why is no real title available?)
• Solving Horn clauses on inductive data types without induction
• Proving correctness of imperative programs by linearizing constrained Horn clauses
• Predicate pairing for program verification
• scientific article; zbMATH DE number 2090118 (Why is no real title available?)
• Annotation of logic programs for independent AND-parallelism by partial evaluation
• Anti-unification in constraint logic programming
• Abstract conjunctive partial deduction for the analysis and compilation of coroutines
• Partial evaluation of Maple
• The narrowing-driven approach to functional logic program specialization
• Symbolic Specialization of Rewriting Logic Theories with Presto
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Derivation of efficient logic programs by specialization and reduction of nondeterminism

Describes a project that uses

Uses Software

• ECCE
• Mercury
• DPPD

This page was built for publication: Conjunctive partial deduction: foundations, control, algorithms, and experiments

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