Abstract objects as abstract data types

  • H. Gerstmann
  • A. Ollongren
An Interlude
Part of the Lecture Notes in Computer Science book series (LNCS, volume 86)


Data Type Abstract Object Function Definition Abstract Syntax Operation Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    LUCAS, P. and WALK, K.: On the Formal Description of PL/I, Annual Review of Automatic Programming 6, 3(1969)Google Scholar
  2. [2]
    WEGNER, P.: The Vienna Definition Language, ACM Comp. Surveys 4, 1(1972), 5–63CrossRefGoogle Scholar
  3. [3]
    OLLONGREN, A.: Definition of programming languages by interpreting automata, Acad. Press 1974Google Scholar
  4. [4]
    GOGUEN, J.A. et al.: Abstract Data Types as Initial Algebras and the Correctnes of Data Representations, SIGGRAPH Notices (May 1975), 89–93Google Scholar
  5. [5]
    ZEMANEK, H.: Abstrakte objekte, Elektronische Rechenanlagen 10, 5(1968), 208–217Google Scholar
  6. [6]
    LUCAS, P.: On the Semantics of Programming Languages and Software Devices, in Formal Semantics of Progr. Lang., edited by R. Rustin, Prentice Hall 1972, 41–57Google Scholar
  7. [7]
    EERIG E. et al.: Stepwise Specification and Implementation of Abstract Data Types, in Automata, Languages and Programming, edited by G. Ausiello and C. Boehm, Lect. Notes in Comp. Sc. Vol 62, Springer-Verlag 1978, 205–226Google Scholar
  8. [8]
    GOEMAN, H.J.M. et al.: Axiomatiek van Datastructuren, Mc Syllabus 37 Colloquium Capita Datastructuren (1978), 85–98Google Scholar
  9. [9]
    BJORNER, D. and JONES C.B., The Vienna Development Method: The Meta-Language, Lect. Notes in Comp. Sc. Vol. 61, Springer-Verlag 1978Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • H. Gerstmann
    • 1
  • A. Ollongren
    • 2
  1. 1.IBM LaboratoriesBoeblingenGermany
  2. 2.Department of MathematicsLeiden UniversityThe Netherlands

Personalised recommendations