Abstract
In this chapter we examine some features that are not present in the definition of KOOL used so far. This chapter is composed of three independent sections, respectively devoted to imperative features, to the use of a unique form of application, and to signatures. As we discussed at the end of Chapter 3, these features have been omitted from KOOL since they are not necessary for the study of the foundation of object-oriented programming. However, because of their undeniable practical interest, we show in this chapter how they can be included in KOOL and how they can be intuitively interpreted in our model.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1997 Birkhäuser Boston
About this chapter
Cite this chapter
Castagna, G. (1997). Imperative features and other widgets. In: Object-Oriented Programming A Unified Foundation. Progress in Theoretical Computer Science. Birkhäuser Boston. https://doi.org/10.1007/978-1-4612-4138-6_9
Download citation
DOI: https://doi.org/10.1007/978-1-4612-4138-6_9
Publisher Name: Birkhäuser Boston
Print ISBN: 978-1-4612-8670-7
Online ISBN: 978-1-4612-4138-6
eBook Packages: Springer Book Archive