Calculating modules in contextual logic program refinement

DOI10.1017/S1471068407003043MaRDI QIDQ5437648zbMATH OpenOpenAlexFDO

Authors Robert Colvin, Ian Hayes, Paul Strooper

Publication date 21 January 2008

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068407003043

zbMATH Keywords

modulescontextrefinementlogic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• scientific article; zbMATH DE number 4050933 (Why is no real title available?)
• scientific article; zbMATH DE number 46424 (Why is no real title available?)
• A calculus of refinements for program derivations
• A refinement calculus for logic programs
• Data refinement by calculation
• Steadfast logic programs
• Supporting contexts in program refinement
• The relationship between logic programs and specifications-the subset example revisited

Cited in

(3)

• scientific article; zbMATH DE number 1973216 (Why is no real title available?)
• Contextual approximation and higher-order procedures
• Program Development in Computational Logic

This page was built for publication: Calculating modules in contextual logic program refinement

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