Aliasing among pointers in EUCLID☆
References (10)
- et al.
Unrestricted procedure calls in Hoare's logic
Proc. Fifth Annual ACM Symposium on Principles of Programming Languages
(1978) - et al.
A proof rule for EUCLID procedures
An axiomatic basis for computer programming
Comm. ACM
(1969)- et al.
An axiomatic definition of the programming language PASCAL
Acta Informat.
(1973) - et al.
Report on the programming language EUCLID
SIGPLAN Notices
(1977)
There are more references available in the full text version of this article.
Cited by (0)
- ☆
This work was supported in part by a Veizmann Post-Doctoral Fellowship at the Weizmann Institute of Science.
- ∗∗
The majority of this work was carried out while the author was employed at the Information Sciences Institute, 4676 Admiralty Way, Marantel Rey, CA, USA. Address from September 1979: Computer Science Laboratory, SRI International, Ravenswood Ave., Menlo Park, CA 94025, USA.
Copyright © 1979 Published by Elsevier B.V.