Auxiliary variables in data refinement
References (9)
A Discipline of Programming
(1976)- P.H.B. Gardiner and C.C. Morgan, Data refinement of predicate transformers, Theoret. Comput. Sci., Submitted for...
- et al.
A new notation of encapsulation
Proc. SIGPLAN Symp. on Language Issues in Programming Environments
(June 1985) Proof of correctness of data representations
Acta Informatica
(1972)
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1988 Published by Elsevier B.V.