scientific article; zbMATH DE number 1863389

zbMATH Open1005.68508MaRDI QIDQ4790664FDOQ4790664

Authors David Hemer, Ian Hayes, Paul Strooper

Publication date 4 February 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2152/21520249

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A refinement calculus for logic programs
• scientific article; zbMATH DE number 1104390
• Intuitionistic Refinement Calculus
• Refinement of Higher-Order Logic Programs
• scientific article; zbMATH DE number 1303996

Cited in

(11)

• A sequent calculus for first-order logic formalized in Isabelle/HOL
• Mechanizing some advanced refinement concepts
• An embedding of Ruby in Isabelle
• From proposition to program. Embedding the refinement calculus in Coq
• scientific article; zbMATH DE number 2110621 (Why is no real title available?)
• Refinement trees: calculi, tools, and applications
• The least conjunctive refinement and promotion in the refinement calculus
• A theoretical basis for stepwise refinement and the programming calculus
• Intuitionistic Refinement Calculus
• scientific article; zbMATH DE number 1424020 (Why is no real title available?)
• General parameterised refinement and recursion for the M-net calculus

Describes a project that uses

Uses Software

• Isabelle
• Isabelle/HOL
• Isabelle/ZF

This page was built for publication:

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