A Value Transmission Method for Abstract 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) , 527-551
- https://doi.org/10.1145/69622.357182
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Preliminary Ada reference manualACM SIGPLAN Notices, 1979
- The algebraic specification of abstract data typesActa Informatica, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Copying cyclic list structures in linear time using bounded workspaceCommunications of the ACM, 1975
- Programming with abstract data typesACM SIGPLAN Notices, 1974
- Proof of correctness of data representationsActa Informatica, 1972