Abstract
This paper investigates the syntax and semantics of specifications of generic classes (parameterized types) in an object-based language, LD 3, developed by the author. the hope is that this specific example will suggest a general approach to generic types involving objects (=data types with internal states). In an earlier paper [5] we presented the syntax for generic classes in LD 3 and showed that the passing of parameters could be treated in terms of pushouts in a manner close to that found in the treatment of algebraic data types but with different categories. This paper summarizes those results and then introduces a treatment of the semantics of generic classes for LD 3. Again, while the categories involved are very different, the results are very reminiscent of those found in algebraic specifications.
Preview
Unable to display preview. Download preview PDF.
References
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Springer-Verlag, Berlin, 1985.
J.W. Thatcher, J.B. Wright, and E. G. Wagner. Data type specification: Parameterization and the power of specification techniques. TOPLAS, 4:711–732, 1982.
Eric G. Wagner. Algebraic aspects of data directed design. In Proceedings of the First Maghrebin Conference on Artificial Intelligence and Software Engineering. University of Constantine, Constantine, Algeria, 1989.
Eric G. Wagner. An algebraically specified language for data directed design. Theoretical Computer Science, 77:195–219, 1990.
Eric G. Wagner. Generic types in a language for data directed design. In Recent Trends in Data Type Specification: Proceedings of the 7th Workshop on Specification of Abstract Data Types, pages 341–361. LNCS 534, Springer Verlag, 1990.
Eric G. Wagner. Some mathematical thoughts on languages for data directed design. In Proceedings of the conference ‘the Unified Computation Laboratory’ at the University of Stirling, Stirling, Scotland, 1990. To appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wagner, E.G. (1993). Generic classes in an object-based language. In: Bidoit, M., Choppy, C. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1991 1991. Lecture Notes in Computer Science, vol 655. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56379-2_48
Download citation
DOI: https://doi.org/10.1007/3-540-56379-2_48
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56379-2
Online ISBN: 978-3-540-47545-3
eBook Packages: Springer Book Archive