Abstract
In this chapter we define the key notions of typed object-oriented technology. The very basic notions are introduced in Sect. 1.1. The notions of types, objects, classes, messages and methods are introduced and illustrated in Sect. 1.1.1. The notion of inheritance is the topic of Sect. 1.1.2. A related notion of subtyping and its formal properties are discussed in Sect. 1.1.3. Static and dynamic binding as it applies to messages and methods is the topic of Sect. 1.1.4. Parametric types are essential for modern typed object-oriented technology. This is the topic of Sect. 1.2. Collection types are of particular importance for the topics presented in this book. Their non-parametric versions and their limitations are discussed in Sect. 1.2.1. Parametric collection types, different types of parametric polymorphism and their advantages are discussed in Sect. 1.2.2. A fully implemented parametric collection class is given in Sect. 1.2.3. Abstract parametric classes are discussed in Sect. 1.2.4. The impact of parametric types on subtyping is discussed in Sect. 1.2.5.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
K. Arnold, J. Gosling, D. Holmes, The Java Programming Language, 4th edn. (Addison-Wesley, Boston, 2005)
G. Bracha, M. Odersky, D. Stoutmire, P. Wadler, Making the future safe for the past: adding genericity to the Java programming language, in Proceedings of OOPSLA 1998 (ACM, New York, 1998)
K. Bruce, Foundations of Object-Oriented Languages (MIT Press, Massachusetts, 2002)
P. Canning, W. Cook, W. Hill, W. Olthoff, J. Mitchell, F-bounded polymorphism for object-oriented programming languages, in Proceedings of Functional Programming Languages and Computer Architecture (ACM, New York, 1989), pp. 273–280
W.R. Cook, A proposal for making Eiffel type safe. Comput. J. 32, 305–311 (1989)
J. Gosling, B. Joy, G. Steel, G. Bracha, The Java Language Specification, 3rd edn. (Prentice Hall, New Jersey, 2005)
M. Odersky, P. Wadler, Pizza into Java: translating theory into practice, in Proceedings of POPL 1997 (ACM, New York, 1997), pp. 146–159
J. Solorzano, S. Alagić, Parametric polymorphism for JavaTM: a reflective solution, in Proceedings of OOPSLA ‘98, (ACM, New York, 1998), pp. 216–225
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Alagić, S. (2015). Typed Objects. In: Object-Oriented Technology. Springer, Cham. https://doi.org/10.1007/978-3-319-20442-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-20442-0_1
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-20441-3
Online ISBN: 978-3-319-20442-0
eBook Packages: Computer ScienceComputer Science (R0)