Abstract
The Galois project at the University of Texas is building a programming environment that supports the formal development and verification of data structure programs. This programming environment supports features such as pointer manipulation and destructive update that often make formal treatment difficult.
Publisher
Association for Computing Machinery (ACM)
Reference15 articles.
1. Berg H. K. etal Formal Methods of Program Verification and Spe@ication Prentice-Hall 1982 Berg H. K. et al Formal Methods of Program Verification and Spe@ication Prentice-Hall 1982
2. Clocksin W. F. and Mellish C. S. Programming in Prolog Springer-Verlag 1981 Clocksin W. F. and Mellish C. S. Programming in Prolog Springer-Verlag 1981
3. Ershov A. P. Axiomatic for Memory Allocation Acts Informatica v. 6 n 1 1976 Ershov A. P. Axiomatic for Memory Allocation Acts Informatica v. 6 n 1 1976
4. Gries David The Science of Programming Springer- Verlag 1981 Gries David The Science of Programming Springer- Verlag 1981