Calculating modules in contextual logic program refinement

DOI10.1017/S1471068407003043zbMATH Open1128.68015OpenAlexW2018701156MaRDI QIDQ5437648FDOQ5437648

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Data refinement by calculation
• A calculus of refinements for program derivations
• A refinement calculus for logic programs
• Supporting contexts in program refinement
• The relationship between logic programs and specifications-the subset example revisited
• Steadfast logic programs

Cited In (2)

• Title not available (Why is that?)
• Contextual Approximation and Higher-Order Procedures

   Recommendations

• Title not available (Why is that?) 👍 👎
• Program Development in Computational Logic 👍 👎
• Refinement of Higher-Order Logic Programs 👍 👎
• Title not available (Why is that?) 👍 👎
• A refinement calculus for logic programs 👍 👎

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)