References
Ammann, U. ed: 8.Fachtagung Programmiersprachen und Programment-wicklung (GI), Informatik-Fachberichte 77, Springer, Berlin 1984.
Hoare, C.A.R.: An Axiomatic Basis for Computer Programming, CACM Vol 12 No 10 (1969).
Hoare, C.A.R. and Wirth, N.: An Axiomatic Definition of the Programming Language PASCAL, Acta Informatica 2, (1973).
Hohlfeld, B.: Programmverifikation in lauffähigen PASCAL-Programmen, in /1/.
Wirsing, M. et al: On Hierarchies of Abstract Data Types, Acta Informatica 20, (1983).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hohlfeld, B. (1985). Correctness proofs of the implementation of abstract data types. In: Caviness, B.F. (eds) EUROCAL '85. EUROCAL 1985. Lecture Notes in Computer Science, vol 204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15984-3_308
Download citation
DOI: https://doi.org/10.1007/3-540-15984-3_308
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15984-1
Online ISBN: 978-3-540-39685-7
eBook Packages: Springer Book Archive