Specifications and proofs for abstract data types in concurrent programs
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 174-197
- https://doi.org/10.1007/bfb0014668
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Verifying properties of parallel programsCommunications of the ACM, 1976
- Proving monitorsCommunications of the ACM, 1976
- A consistent and complete deductive system for the verification of parallel programsPublished by Association for Computing Machinery (ACM) ,1976
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- MonitorsCommunications of the ACM, 1974
- Axiomatic approach to total correctness of programsActa Informatica, 1974
- A structured paging systemThe Computer Journal, 1973
- Proof of correctness of data representationsActa Informatica, 1972
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969