This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
LUCAS, P. and WALK, K.: On the Formal Description of PL/I, Annual Review of Automatic Programming 6, 3(1969)
WEGNER, P.: The Vienna Definition Language, ACM Comp. Surveys 4, 1(1972), 5–63
OLLONGREN, A.: Definition of programming languages by interpreting automata, Acad. Press 1974
GOGUEN, J.A. et al.: Abstract Data Types as Initial Algebras and the Correctnes of Data Representations, SIGGRAPH Notices (May 1975), 89–93
ZEMANEK, H.: Abstrakte objekte, Elektronische Rechenanlagen 10, 5(1968), 208–217
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–57
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–226
GOEMAN, H.J.M. et al.: Axiomatiek van Datastructuren, Mc Syllabus 37 Colloquium Capita Datastructuren (1978), 85–98
BJORNER, D. and JONES C.B., The Vienna Development Method: The Meta-Language, Lect. Notes in Comp. Sc. Vol. 61, Springer-Verlag 1978
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gerstmann, H., Ollongren, A. (1980). Abstract objects as abstract data types. In: Bjøorner, D. (eds) Abstract Software Specifications. Lecture Notes in Computer Science, vol 86. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10007-5_45
Download citation
DOI: https://doi.org/10.1007/3-540-10007-5_45
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10007-2
Online ISBN: 978-3-540-38136-5
eBook Packages: Springer Book Archive