A note on logic-oriented approaches to data abstraction
- 1 July 1978
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 3 (3) , 13-15
- https://doi.org/10.1145/1010751.1010754
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Specifying abstract data types by restrictionACM SIGSOFT Software Engineering Notes, 1978