 |
Journal articles
Conference articles
-
D. Hemer, R. Colvin, I. Hayes and P. Strooper. Don't Care Non-determinism
in Logic Program Refinement. To appear Computing: The Australasian Theory
Symposium (CATS 2002). (Also appears as SVRC Technical Report 01-27).
-
Robert Colvin, David Hemer, Ian Hayes, and Paul Strooper, Translating Refined
Logic Programs to Mercury. To appear Twenty-Fifth Australasian Computer
Science Conference (ACSC2002). (Also appears as SVRC
Technical Report 01-32).
-
D. Hemer, I. Hayes and P. Strooper. Refinement Calculus for Logic Programming
in Isabelle/HOL. In R. J. Boulton and P. B. Jackson, editors, Theorem
Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001,
Lecture Notes in Computer Science, vol 2152, pages 249-264, September 2001.
Springer Verlag. (Also appears as SVRC
Technical Report 01-08).
-
R. Colvin, I. Hayes and P. Strooper. Refining Logic Programs Using Types.
In Proceedings 23rd Australasian Computer Science Conference (ACSC 2000),
2000.
-
R. Colvin, I. J. Hayes and P. Strooper. Modular Logic Program Refinement.
In K.K. Lau, editor, Logic-based Program
Synthesis and Transformation (LOPSTR 2000), Selected Papers, Lecture Notes
in Computer Science, vol 2402, pages 38-56, July 2000. Springer Verlag. (Also appears as SVRC
Technical Report 01-13).
-
Robert Colvin, Ian Hayes and Paul Strooper, Data Refining Logic Programs.
In Jim Grundy, Martin Schwenke and Trevor Vickers, editors, International
Refinement Workshop and Formal Methods Pacific 1998, pages 100-116, 1998.
Springer. Singapore. (Also appears as Technical
report 98-15, July 1998).
-
Robert Colvin, Ian Hayes, Ray Nickson and Paul Strooper. A Tool for Refining
Logic Programs. In D. J. Duke and A. S. Evans editors, Second BCS-FACS Northern Formal Methods Conference, Electronic Notes in Computer Science, Springer Verlag, June 1997 (Also available
as SVRC Technical
report 97-32).
-
I. J. Hayes, R. G. Nickson and P. A. Strooper. Refining Specifications
to Logic Programs. In J. Gallagher editor, Logic Program Transformation and
Synthesis. Proceedings of the 6th International Workshop LOPSTR'96, Stockholm,
Sweden, August 1996, volume 1207 of Lecture Notes in Computer Science, pages
1-19. Springer Verlag, 1997. (Also available as Technical
report 96-34, October 1996)
Submitted articles
Technical Reports
-
Ian Hayes, Ray Nickson, Paul Strooper and Robert Colvin, A Declarative
Semantics for Logic Program Refinement, Technical
report 00-30, November 2000.
-
David Hemer, Building Tool Support for Refinement Calculus for Logic Programming:
A Comparison of Interactive Theorem Provers, Technical
report
00-06, March 2000.
-
R. Colvin, I. Hayes and P. Strooper. Refining Logic Programs using Types and
Invariants, SVRC Technical Report 99-25, November 1999.
|
