Specifying and Verifying Concurrent Programs.
Final rept. 15 Aug 83-14 Nov 84,
SRI INTERNATIONAL MENLO PARK CA
Pagination or Media Count:
The goal of this project was the development of formal methods for the specification and verification of concurrent programs to help avoid software errors in concurrent systems. This involved research in three areas Specification Verification and Semantics. Contents What It Means for a Concurrent Program to Satisfy a Specification An Axiomatic Semantics of Concurrent Programming Languages Constraints - A Uniform Approach to Aliasing and Typing.
- Computer Programming and Software