Modular verification of data abstractions with shared realizations
- 1 April 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (4) , 288-307
- https://doi.org/10.1109/32.277576
Abstract
No abstract availableThis publication has 31 references indexed in Scilit:
- A generalization of Dijkstra's calculusACM Transactions on Programming Languages and Systems, 1989
- A calculus of refinements for program derivationsActa Informatica, 1988
- Synthesizing implementations of abstract data types from axiomatic specificationsSoftware: Practice and Experience, 1987
- ANNA A Language for Annotating Ada ProgramsPublished by Springer Nature ,1987
- On proving inductive properties of abstract data typesPublished by Association for Computing Machinery (ACM) ,1980
- Abstract data types and software validationCommunications of the ACM, 1978
- Proof rules for the programming language EuclidActa Informatica, 1978
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- Proof of correctness of data representationsActa Informatica, 1972