Searching for authors named "Ray Nickson" – sorted by Relevance.
-
Program Window Inference
- Queensland 4072 Australia TECHNICAL REPORT No. 95-29 Program Window Inference Ray Nickson and Ian Hayes July
- Cited by 8 (3 self) – Add To MetaCart
-
Supporting Contexts in Program Refinement
- Queensland 4072 Australia TECHNICAL REPORT No. 96-29 Supporting Contexts in Program Refinement Ray Nickson
- Cited by 7 (4 self) – Add To MetaCart
-
A New Face For Ergo: Adding A User Interface To A Programmable Theorem Prover
- Programmable Theorem Prover Ray Nickson and Mark Utting October 1995 Phone: +61 7 3365 1003 Fax: +61 7 3365
- Cited by 5 (3 self) – Add To MetaCart
-
A Declarative Semantics for Logic Program Refinement
- TECHNICAL REPORT No. 00-30 A Declarative Semantics for Logic Program Renement Ian Hayes Ray Nickson y
- Add To MetaCart
-
A Tactic Language for Ergo
- Queensland 4072 Australia TECHNICAL REPORT No. 97-16 A Tactic Language for Ergo Andrew Martin, Ray Nickson
- Cited by 5 (3 self) – Add To MetaCart
-
Improving Angel's Parallel Operator: Gumtree's Approach
- Andrew Martin, Ray Nickson, and Mark Utting December 1997 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533
- Cited by 3 (2 self) – Add To MetaCart
-
Ergo 4.1 Reference Manual
- /SVRC/techreports. Ergo 4.1 Reference Manual Holger Becht, Anthony Bloesch, Ray Nickson, Mark Utting Contents 1
- Cited by 12 (2 self) – Add To MetaCart
-
A Tool for Refining Logic Programs
- Hayes Ray Nickson Paul Strooper Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http
- Cited by 2 (2 self) – Add To MetaCart
-
Requirements for a Program Refinement Engine
- Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson and Jim Welsh July 1995 Phone: +61 7 365 1003 Fax: +61 7
- Cited by 1 (0 self) – Add To MetaCart
-
A Review of Existing Refinement Tools
- Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson and Jim Welsh A Review of Existing Refinement Tools June
- Cited by 3 (0 self) – Add To MetaCart

