Searching for "The Refinement Calculus." – sorted by Relevance.
-
Procedures and Invariants in the Refinement Calculus
- Procedures and invariants in the refinement calculus Trevor Vickers and Carroll Morgan y May
- Cited by 20 (1 self) – Add To MetaCart
-
An iterator construct for the refinement calculus
- An Iterator Construct for the Refinement Calculus Steve King Department of Computer Science
- Cited by 1 (0 self) – Add To MetaCart
-
A Refinement Calculus for VHDL
- EURO-DAC ’96 with EURO-VHDL ’96 0-89791-848-7/96 $4.00 © 1996 IEEE A Re�nement Calculus for VHDL
- Add To MetaCart
-
Interpreting Nondeterminism in the Refinement Calculus
- Interpreting Nondeterminism in the Refinement Calculus Ralph-Johan Back Joakim von Wright TUCS
- Cited by 1 (0 self) – Add To MetaCart
-
Program Specialisation in the Refinement Calculus
- Program Specialisation in the Refinement Calculus Lindsay Groves School of Mathematical
- Add To MetaCart
-
Products in the Refinement Calculus
- Products in the Refinement Calculus Ralph-Johan Back Abo Akademi University, Department
- Cited by 21 (2 self) – Add To MetaCart
-
Program Inversion in the Refinement Calculus
- Program Inversion in the Refinement Calculus J. von Wright March 23, 1990 Abstract We present a
- Cited by 3 (1 self) – Add To MetaCart
-
Fusion and Simultaneous Execution in the Refinement Calculus
- Fusion and Simultaneous Execution in the Refinement Calculus Ralph-Johan Back Michael Butler y
- Cited by 10 (2 self) – Add To MetaCart
-
Context handling in the Refinement Calculus framework
- Context handling in the Refinement Calculus framework Linas Laibinis Turku Center for Computer
- Cited by 1 (1 self) – Add To MetaCart
-
Modelling Program Compilation in the Refinement Calculus
- Queensland 4072 Australia TECHNICAL REPORT No. 97-22 Modelling program compilation in the refinement calculus
- Cited by 3 (2 self) – Add To MetaCart

