Dasim1: A practical exercise in data abstraction

  • Geoffrey J. Nolan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 79)


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.


  1. 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
  2. JENSEN, K. and WIRTH, N. (1975): "PASCAL User Manual and Report" (2nd Edition). Springer-Verlag, New York.Google Scholar
  3. MAJSTER, M.E. (1977): "Limits of the ‘Algebraic’ Specification of Abstract Data Types". ACM SIGPLAN Notices, 12(10), Oct. 1977.Google Scholar
  4. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Geoffrey J. Nolan
    • 1
  1. 1.Basser Department of Computer ScienceUniversity of SydneyAustralia

Personalised recommendations