Abstract
Implementations of abstract data types are defined via an enrichment of the target type. We suggest to use an extended typed λ-calculus for such an enrichment in order to meet the conceptual requirement that an implementation has to bring us closer to a (functional) program. Composability of implementations is investigated, the main theorem being that composition of correct implementations is correct if terminating programs are implemented by terminating programs. Moreover we provide syntactical criteria to guarantee correctness of composition.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Barendregt,H.: The Lambda Calculus, North-Holland 1981
Burstall,R.M., Goguen,J.A.: Putting Theories Together to Make Specifications, Proc. of 1977 IJCAI MIT Cambridge, 1977
Ehrig,H., Kreowski,H.J., Padawitz,P.: Algebraic Implementation of Abstract Data Types. Concept,Syntax,Semantics and Correctness, Proc. ICALP'80, LNCS 85, 1980
Ehrig,H., Kreowski,H.J., Mahr,B., Padawitz,P.: Algebraic Implementation of Abstract Data Types, TCS 20, 1982
Gandy,R.O.: Proofs of Strong Normalisation, In: To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press 1980
Ganzinger,H.: Parameterized Specifications: Parameter Passing and Optimizing Implementation, Bericht Nr. TUM-I8110, TU Muenchen 1981
Lipeck,U.: Ein algebraischer Kalkuel fuer einen strukturierten Entwurf von Datenabstraktionen, Dissertation, Ber. Nr. 148, Abt. Informatik, Universitaet Dortmund, 1983
Poigné,A., Voss,J.: Programs over Algebraic Specifications — On the Implementation of Abstract Data Types, Ber. Nr. 171, Abt. Informatik, Uni Dortmund, 1983
Voss,J.: Programme ueber algebraischen Spezifikationen — Zur Implementierung von Abstrakten Datentypen, Diplomarbeit, Abt. Informatik, Uni Dortmund, 1983
Blum,E.K., Parisi-Presicce,F.: Implementation of Data Types by Algebraic Methods, JCSS 27, 1983
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Poigné, A., Voss, J. (1985). On the implementation of abstract data types by programming language constructs. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Mathematical Foundations of Software Development. CAAP 1985. Lecture Notes in Computer Science, vol 185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15198-2_25
Download citation
DOI: https://doi.org/10.1007/3-540-15198-2_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15198-2
Online ISBN: 978-3-540-39302-3
eBook Packages: Springer Book Archive