A Technique for Modular Logic Program Refinement - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Robert Colvin, Ian J. Hayes, Paul A. Strooper. A Technique for Modular Logic Program Refinement. In Kung-Kiu Lau, editor, Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. Volume 2042 of Lecture Notes in Computer Science, pages 38-56, Springer, 2000. [doi]

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.

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]

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

A Program Refinement ToolDavid A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh. fac, 10(2):97-124, 1998.

runs on WebDSL