Formal Specification of Graphic Data Types
- 1 October 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 4 (4), 687-710
- https://doi.org/10.1145/69622.357191
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Proving Properties of Complex Data StructuresJournal of the ACM, 1976
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- An axiomatic definition of the programming language PASCALActa Informatica, 1973