Procedural specifications and implementations for abstract data types

Publisher Website

1 March 1981

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices

Vol. 16 (3) , 53-62
https://doi.org/10.1145/947825.947828

Abstract

No abstract available

This publication has 4 references indexed in Scilit:

An Alternative to the Use of Patterns in String Processing
ACM Transactions on Programming Languages and Systems, 1980
Testing traversable stacks
ACM SIGPLAN Notices, 1980
Abstract data types and software validation
Communications of the ACM, 1978
Abstraction mechanisms in CLU
Communications of the ACM, 1977