A refinement calculus for logic programs

DOI10.1017/S1471068402001448MaRDI QIDQ4452605zbMATH OpenFDO

Authors Ian Hayes, Robert Colvin, David Hemer, Ray Nickson, Paul Strooper

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

declarative semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Refinement of Higher-Order Logic Programs
• scientific article; zbMATH DE number 1104390
• A calculus of refinements for program derivations
• scientific article; zbMATH DE number 1973216
• Don't care non-determinism in logic program refinement

Cited in

(26)

• Calculating modules in contextual logic program refinement
• scientific article; zbMATH DE number 512961 (Why is no real title available?)
• A Multi-type Calculus for Inquisitive Logic
• Refinement of Higher-Order Logic Programs
• A Schemata Calculus for Propositional Logic
• A logic for schema-based program development
• scientific article; zbMATH DE number 1973216 (Why is no real title available?)
• A logical calculus for problem solving in highly structured application domains
• Exits in the refinement calculus
• scientific article; zbMATH DE number 1512629 (Why is no real title available?)
• scientific article; zbMATH DE number 1863389 (Why is no real title available?)
• The least conjunctive refinement and promotion in the refinement calculus
• scientific article; zbMATH DE number 4033055 (Why is no real title available?)
• Don't care non-determinism in logic program refinement
• A calculus of refinements for program derivations
• Program Development in Computational Logic
• A theoretical basis for stepwise refinement and the programming calculus
• scientific article; zbMATH DE number 7234173 (Why is no real title available?)
• Differential Refinement Logic
• Derivation of logic programs by functional methods
• A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules
• scientific article; zbMATH DE number 695093 (Why is no real title available?)
• A Logic for Reflective ASMs
• Mints type deductive calculi for logic programming
• The role of logical interpretations in program development
• General parameterised refinement and recursion for the M-net calculus

This page was built for publication: A refinement calculus for logic programs

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