iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://unpaywall.org/10.1007/BFB0019438
Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 | SpringerLink
Skip to main content
Springer Nature Link
Log in

Foundations of Object-Oriented Languages

REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. J. W. Bakker
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. W. P. Roever
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. G. Rozenberg
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 489)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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

Keywords

Table of contents (13 papers)

  1. Front Matter

    Download chapter 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
Back to top

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation