scientific article; zbMATH DE number 1303988

MaRDI QIDQ4250656zbMATH OpenFDO

Authors Robert Colvin, Ian Hayes, Paul Strooper

Publication date 2 November 1999

zbMATH Keywords

refinement calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3949749
• Datalog and logic databases
• scientific article; zbMATH DE number 1442044
• A data-driven model for a subset of logic programming
• scientific article; zbMATH DE number 1926649
• Efficient dataflow analysis of logic programs
• Declarative Data Analysis Using Limit Datalog Programs
• Refinement of Higher-Order Logic Programs

Cited in

(7)

• Data refinement of predicate transformers
• Don't care non-determinism in logic program refinement
• scientific article; zbMATH DE number 1973216 (Why is no real title available?)
• scientific article; zbMATH DE number 910716 (Why is no real title available?)
• Calculating modules in contextual logic program refinement
• Program Development in Computational Logic
• Data refinement by calculation

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