Correctness proofs of the implementation of abstract data types

  • Bernhard Hohlfeld
Automatic Programming I
Part of the Lecture Notes in Computer Science book series (LNCS, volume 204)


  1. 1.
    Ammann, U. ed: 8.Fachtagung Programmiersprachen und Programment-wicklung (GI), Informatik-Fachberichte 77, Springer, Berlin 1984.Google Scholar
  2. 2.
    Hoare, C.A.R.: An Axiomatic Basis for Computer Programming, CACM Vol 12 No 10 (1969).Google Scholar
  3. 3.
    Hoare, C.A.R. and Wirth, N.: An Axiomatic Definition of the Programming Language PASCAL, Acta Informatica 2, (1973).Google Scholar
  4. 4.
    Hohlfeld, B.: Programmverifikation in lauffähigen PASCAL-Programmen, in /1/.Google Scholar
  5. 5.
    Wirsing, M. et al: On Hierarchies of Abstract Data Types, Acta Informatica 20, (1983).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Bernhard Hohlfeld
    • 1
  1. 1.AEG-TelefunkenForschungsinstitut UlmUlmGermany

Personalised recommendations