Abstract
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.
Chapter PDF
Similar content being viewed by others
References
FOO, N. Y. and NOLAN G. J. (1978): "Correctness of Algebraic Specifications for Data Structures". Proceedings Australian Universities Computer Science Seminar, Feb. 1978.
JENSEN, K. and WIRTH, N. (1975): "PASCAL User Manual and Report" (2nd Edition). Springer-Verlag, New York.
MAJSTER, M.E. (1977): "Limits of the ‘Algebraic’ Specification of Abstract Data Types". ACM SIGPLAN Notices, 12(10), Oct. 1977.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nolan, G.J. (1980). Dasim1: A practical exercise in data abstraction. In: Tobias, J.M. (eds) Language Design and Programming Methodology. LDPM 1979. Lecture Notes in Computer Science, vol 79. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09745-7_11
Download citation
DOI: https://doi.org/10.1007/3-540-09745-7_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09745-7
Online ISBN: 978-3-540-38579-0
eBook Packages: Springer Book Archive