Possibly Related Publications

The following publications are possibly variants of this publication:

• Modular Logic Program RefinementRobert Colvin, Ian J. Hayes, Paul A. Strooper. LOPSTR 2001: [doi]
• A refinement calculus for logic programsIan J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson. tplp, 2(4-5):425-460, 2002.
• A Technique for Modular Logic Program RefinementRobert Colvin, Ian J. Hayes, Paul A. Strooper. LOPSTR 2001: 38-56 [doi]
• Refinement of Higher-Order Logic ProgramsRobert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper. LOPSTR 2003: 126-143 [doi]
• Don t Care Non-determinism in Logic Program RefinementDavid Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin. ENTCS, 61:101-121, 2002. [doi]
• Developing Logic Programs from Specifications Using Stepwise RefinementRobert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper. LOPSTR 2004: 66-89 [doi]
• Refinement Calculus for Logic Programming in Isabelle/HOLDavid Hemer, Ian J. Hayes, Paul A. Strooper. tphol 2001: 249-264 [doi]