A tool for logic program refinement (extended abstract)

MaRDI QIDQ4370272zbMATH OpenFDO

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

Publication date 1 June 1998

zbMATH Keywords

refinement of logic programs

Mathematics Subject Classification ID

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

Recommendations

• A program refinement tool
• A refinement calculus for logic programs
• The refinement calculator: Proof support for program refinement
• scientific article; zbMATH DE number 1863389

Cited in

(10)

• REFLP
• Don't care non-determinism in logic program refinement
• Refinement trees: calculi, tools, and applications
• scientific article; zbMATH DE number 177257 (Why is no real title available?)
• scientific article; zbMATH DE number 695093 (Why is no real title available?)
• The refinement calculator: Proof support for program refinement
• A refinement calculus for logic programs
• scientific article; zbMATH DE number 1863389 (Why is no real title available?)
• Incremental maintenance of overgrounded logic programs with tailored simplifications
• Program derivation using the refinement calculator

Describes a project that uses

Uses Software

• Ergo 6

This page was built for publication: A tool for logic program refinement (extended abstract)

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