Refinement of Higher-Order Logic Programs

DOI10.1007/3-540-45013-0_11MaRDI QIDQ3079921zbMATH OpenOpenAlexFDO

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

Publication date 4 March 2011

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.530.3216

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1696789
• scientific article; zbMATH DE number 3988745
• scientific article; zbMATH DE number 1303996
• A refinement calculus for logic programs
• Proof-theoretic and higher-order extensions of logic programming
• scientific article; zbMATH DE number 1841821
• Refinement concepts formalised in higher order logic
• scientific article; zbMATH DE number 1973217

Cited in

(18)

• Calculating modules in contextual logic program refinement
• A refinement calculus for logic programs
• Freefinement
• From proposition to program. Embedding the refinement calculus in Coq
• scientific article; zbMATH DE number 1303988 (Why is no real title available?)
• scientific article; zbMATH DE number 1973216 (Why is no real title available?)
• Refinement concepts formalised in higher order logic
• scientific article; zbMATH DE number 1863389 (Why is no real title available?)
• Don't care non-determinism in logic program refinement
• Refinement calculus: A basis for translation validation, debugging and certification
• Systematic Refinement of Abstract State Machines with Higher-Order Logic
• scientific article; zbMATH DE number 1303996 (Why is no real title available?)
• Program Development in Computational Logic
• Differential Refinement Logic
• A reification calculus for model-oriented software specification
• Procedure compilation in the refinement calculus
• On refinement in rewriting logic
• Refinement Calculus

This page was built for publication: Refinement of Higher-Order Logic Programs

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