Foundations of Object-Oriented Languages

1. Front Matter

   PDF

2. The structure and semantics of actor languages

   • Gul Agha

   Pages 1-59

3. Designing an object-oriented programming language with behavioural subtyping

   • Pierre America

   Pages 60-90

4. A layered semantics for a parallel object-oriented language

   • Pierre America, Jan Rutten

   Pages 91-123

5. A proof system for the language POOL

   • Frank S. de Boer

   Pages 124-150

6. Object-oriented programming versus abstract data types

   • William R. Cook

   Pages 151-178

7. Object-oriented specification in LOTOS and Z, or my cat really is object-oriented!

   • Elspeth Cusack, Michael Lai

   Pages 179-202

8. A categorial theory of objects as observed processes

   • H. -D. Ehrich, J. A. Goguen, A. Sernadas

   Pages 203-228

9. Net-based description of parallel object-based systems, or POTs and POPs

   • Joost Engelfriet, George Leih, Grzegorz Rozenberg

   Pages 229-273

10. Describing, structuring and implementing objects

    • J. Fiadeiro, T. Maibaum

    Pages 274-310

11. Modelling features of object-oriented languages in second order functional languages with subtypes

    • Giorgio Ghelli

    Pages 311-340

12. Graph grammar-based description of object-based systems

    • D. Janssens, G. Rozenberg

    Pages 341-404

13. An actor-based metalevel architecture for group-wide reflection

    • Takuo Watanabe, Akinori Yonezawa

    Pages 405-425

14. Producing abstract models for object-oriented languages

    • P. M. Yelland

    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).

• Clean
• Object-oriented programming
• Programmiersprache
• Programmierung im Großen
• Programming in-the-large
• Programming languages
• Software systems
• Software-System
• Turing
• programming

Policies and ethics