Searching for "The Refinement Calculus." – sorted by Relevance.
590 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
