Dasim1: A practical exercise in data abstraction
The program DASIM1 accepts an axiomatic specification for a data structure, then constructs an instance of the structure thus defined and executes operations upon it. This paper explains how such a specification is developed, indicating some of the problems which may be encountered. The manner in which DASIM1 employs the axioms in the simulation of the structure is described. Finally, certain correctness proofs concerning the axioms are discussed.
- FOO, N. Y. and NOLAN G. J. (1978): "Correctness of Algebraic Specifications for Data Structures". Proceedings Australian Universities Computer Science Seminar, Feb. 1978.Google Scholar
- JENSEN, K. and WIRTH, N. (1975): "PASCAL User Manual and Report" (2nd Edition). Springer-Verlag, New York.Google Scholar
- MAJSTER, M.E. (1977): "Limits of the ‘Algebraic’ Specification of Abstract Data Types". ACM SIGPLAN Notices, 12(10), Oct. 1977.Google Scholar
- THATCHER, J.W., WAGNER, E.G. and WRIGHT, J.B. (1978): "Data Type Specification: Parameterization and the Power of Specification Techniques". Proceedings 10th STOC Conf., May 1978.Google Scholar