Calculating modules in contextual logic program refinement

DOI10.1017/S1471068407003043zbMath1128.68015OpenAlexW2018701156MaRDI QIDQ5437648

Robert J. Colvin, Ian J. Hayes, Paul A. 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

modulesrefinementlogic programscontext

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Contextual Approximation and Higher-Order Procedures

Cites Work

• Data refinement by calculation
• A calculus of refinements for program derivations
• Supporting contexts in program refinement
• The relationship between logic programs and specifications-the subset example revisited
• A refinement calculus for logic programs
• Steadfast logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item

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