Correctness proofs of the implementation of abstract data types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 204 LNCS, Issue , 1985, Pages 446-447

  Hohlfeld, Bernhard ^a  

^a AEG   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84959204230     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-15984-3_308     Document Type: Conference Paper

References (5)

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