A framework for data structures

  • H. -W. Six
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 100)


In this paper we outline a framework for data structures in the spirit of the Vienna Definition Language but extended to the most general class of objects, namely arbitrary directed rooted graphs in which the information associated with each node is either empty, elementary or an object in the general class. Since many data structures cannot be modelled by tree structures in a natural way, such a generalisation to graphs is desirable. Furthermore, the concept of hierarchy in which a node may serve for an arbitrary complex substructure supports a structured view of complex data objects.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ADJ 1978]
    J.A. GOGUEN, J.W. THATCHER, E.G. WAGNER: An initial algebra approach to the specification, correctness and implementation of abstract data types, in R.T. Yeh (ed.) Current trends in programming methodology. IV, Data structuring, Prentice Hall, Englewood Cliffs, New Jersey, (1978)Google Scholar
  2. [Bergstra et al. 1978]
    J.A. Bergstra, H.J.M. Goeman, A. Ollongren, G.A. Terpstra, Th.P. van der Weide: Axions for multilevel objects, submitted for publication in Fundamenta Informaticae (1978)Google Scholar
  3. [Ehrich 1974]
    H.-D. Ehrich: Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte, Bericht 5/74, Abteilung. Informatik, Universität Dortmund (1974)Google Scholar
  4. [Ehrich 1976]
    H.-D. Ehrich: Outline of an algebraic theory of structured objects, Automata, Languages and Programming, Third Intern. Colloquium, Edinburgh University Press (1976)Google Scholar
  5. [Goeb 1974]
    H. Goeb: Semantische Beschreibung listenverarbeitender Algorithmen durch eine Verallgemeinerung der Wiener Definitionssprache, Arbeitsbericht Band 7, Nol, Institut f. Math. Maschinen und Datenverarbeitung, Universität Erlangen (1974)Google Scholar
  6. [Kamin 1979]
    S. Kamin: Some definitions for algebraic data type specifications, SIGPLAN Notices 14(3) (1979) 28–37.Google Scholar
  7. [Kapur 1979]
    D. Kapur: Specifications of Majster's Traversable Stack and Veloso's Traversable Stack, SIGPLAN Notices 14(5) (1979) 46–53.Google Scholar
  8. [Lucas et al. 1970]
    P. Lucas, P. Lauer, H. Stigleitner: Method and notation for the formal definition of programming languages, Techn. Report TR 25.087, IBM Lab. Vienna (1968) revised 1970Google Scholar
  9. [Majster 1977]
    M.E. Majster: Limits of the "algebraic" specification of abstract data types, SIGPLAN Notices 12 (10) (1977) 37–42.Google Scholar
  10. [Mühlbacher 1975]
    J. Mühlbacher: Datenstrukturen,Carl Hanser Verlag, München-Wien (1975)Google Scholar
  11. [Ollongren 1971]
    A. Ollongren: A theory for the objects of the Vienna Definition Language, Techn Report TR 25.123, IBM Lab. Vienna (1971)Google Scholar
  12. [Ollongren 1979]
    A. Ollongren: Multilevel arrays as datatypes, Bericht 91/1979, Abteilung Informatik, Universität Dortmund (1979)Google Scholar
  13. [Pratt 1969]
    T.W. Pratt: A hierarchical graph model of the semantics of programs, Proceedings AFIPS SJCC (1969) 813–825Google Scholar
  14. [Rosenberg and Thatcher 1975]
    A.L. Rosenberg, J.W. Thatcher: What is a multilevel array, IBM Journal of Research and Development, Vol 19 (1975) 163–169Google Scholar
  15. [Shneiderman and Scheuermann 1974]
    B. Shneiderman, P. Scheuermann: Structured data structures, Comm.ACM 17, 10 (1974) 566–574Google Scholar
  16. [Six 1978]
    H.W. Six: Ein Modell zur Beschreibung von Datenstrukturen und deren Realisationen, Dissertation, Universität Karlsruhe (1978)Google Scholar
  17. [Standish 1973]
    T. Standish: Data structures-an axiomatic approach, Techn. Report 2639, Bolt Beranek and Newman, Inc., Cambridge, Mass. (1973)Google Scholar
  18. [Walk et al. 1969]
    K. Walk, K. Alber, M. Fleck, H. Goldmann, E. Moser, P. Oliva, H. Stigleitner, G. Zeisel: Abstract syntax and interpretation of PL/1, Techn Report TR 25.098, IBM Lab. Vienna (1969)Google Scholar
  19. [Wegner 1972]
    P. Wegner: The Vienna Definition Language, ACM Computing Surveys 4(1) (1972) 5–63Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • H. -W. Six
    • 1
  1. 1.Institut für Angewandte Informatik und Formale BeschreibungsverfahrenUniversität KarlsruheKarlsruheW.Germany

Personalised recommendations