scientific article; zbMATH DE number 1973216

MaRDI QIDQ4421869zbMATH OpenFDO

Authors Robert Colvin, Ian Hayes, Paul Strooper

Publication date 1 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2042/20420038.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1303988
• Refinement of Higher-Order Logic Programs
• Calculating modules in contextual logic program refinement
• A refinement calculus for logic programs
• Program Development in Computational Logic

Cited in

(5)

• A refinement calculus for logic programs
• Calculating modules in contextual logic program refinement
• A Logic Approach for LTL System Modification
• Program Development in Computational Logic
• A reification calculus for model-oriented software specification

Describes a project that uses

Uses Software

• Specware
• Mercury

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 Q4421869)