A refinement calculus for logic programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson. A refinement calculus for logic programs. TPLP, 2(4-5):425-460, 2002.

The following publications are possibly variants of this publication:

Refinement Calculus for Logic Programming in Isabelle/HOLDavid Hemer, Ian J. Hayes, Paul A. Strooper. tphol 2001: 249-264 [doi]

Modular Logic Program RefinementRobert Colvin, Ian J. Hayes, Paul A. Strooper. LOPSTR 2001: [doi]

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]

Calculating modules in contextual logic program refinementRobert Colvin, Ian J. Hayes, Paul A. Strooper. tplp, 8(1):1-31, 2008. [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]

runs on WebDSL