Ebook: Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings

Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems).

---

Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems).

---

Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems).
Content:
Front Matter....Pages -
The structure and semantics of actor languages....Pages 1-59
Designing an object-oriented programming language with behavioural subtyping....Pages 60-90
A layered semantics for a parallel object-oriented language....Pages 91-123
A proof system for the language POOL....Pages 124-150
Object-oriented programming versus abstract data types....Pages 151-178
Object-oriented specification in LOTOS and Z, or my cat really is object-oriented!....Pages 179-202
A categorial theory of objects as observed processes....Pages 203-228
Net-based description of parallel object-based systems, or POTs and POPs....Pages 229-273
Describing, structuring and implementing objects....Pages 274-310
Modelling features of object-oriented languages in second order functional languages with subtypes....Pages 311-340
Graph grammar-based description of object-based systems....Pages 341-404
An actor-based metalevel architecture for group-wide reflection....Pages 405-425
Producing abstract models for object-oriented languages....Pages 426-442

---

Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems).
Content:
Front Matter....Pages -
The structure and semantics of actor languages....Pages 1-59
Designing an object-oriented programming language with behavioural subtyping....Pages 60-90
A layered semantics for a parallel object-oriented language....Pages 91-123
A proof system for the language POOL....Pages 124-150
Object-oriented programming versus abstract data types....Pages 151-178
Object-oriented specification in LOTOS and Z, or my cat really is object-oriented!....Pages 179-202
A categorial theory of objects as observed processes....Pages 203-228
Net-based description of parallel object-based systems, or POTs and POPs....Pages 229-273
Describing, structuring and implementing objects....Pages 274-310
Modelling features of object-oriented languages in second order functional languages with subtypes....Pages 311-340
Graph grammar-based description of object-based systems....Pages 341-404
An actor-based metalevel architecture for group-wide reflection....Pages 405-425
Producing abstract models for object-oriented languages....Pages 426-442
....