Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 489Publication details: Berlín : Springer, c1991Edition: 1st edDescription: viii, 442 p. : il. ; 25 cmISBN:
  • 354053931X
Subject(s):
Contents:
The structure and semantics of actor languages / G. Agha -- Designing an object-oriented programming language with behavioural subtyping / P. America -- A layered semantics for a parallel object-oriented language / P. America, J. Rutten -- A proof system for the language POOL / F.S. de Boer -- Object-oriented programming versus abstract data types / W.R. Cook -- Object-oriented specification in LOTOS and Z or, my cat really is object-oriented! / E. Cusack, M. Lai -- A categorial theory of objects as observed processes / H.-D. Ehrich, J.A. Goguen, A. Sernadas -- Net-based description of parallel object-based systems or POTs and POPs / J. Engelfriet, G. Leih, G. Rozenberg -- Describing, structuring and implementing objects / J. Fiadeiro, T. Maibaum -- Modelling features of object-oriented languages in second order functional languages with subtypes / G. Ghelli -- Graph grammar-based description of object-based systems / D. Janssens, G. Rozenberg -- An actor-based metalevel architecture for group-wide reflection / T. Watanabe, A. Yonezawa -- Producing abstract models for object-oriented languages / P.M. Yelland
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Libros Libros Biblioteca Fac.Informática A.0.2 REX90 (Browse shelf(Opens below)) Available DIF-04189

Incluye referencias bibliográficas.

The structure and semantics of actor languages / G. Agha -- Designing an object-oriented programming language with behavioural subtyping / P. America -- A layered semantics for a parallel object-oriented language / P. America, J. Rutten -- A proof system for the language POOL / F.S. de Boer -- Object-oriented programming versus abstract data types / W.R. Cook -- Object-oriented specification in LOTOS and Z or, my cat really is object-oriented! / E. Cusack, M. Lai -- A categorial theory of objects as observed processes / H.-D. Ehrich, J.A. Goguen, A. Sernadas -- Net-based description of parallel object-based systems or POTs and POPs / J. Engelfriet, G. Leih, G. Rozenberg -- Describing, structuring and implementing objects / J. Fiadeiro, T. Maibaum -- Modelling features of object-oriented languages in second order functional languages with subtypes / G. Ghelli -- Graph grammar-based description of object-based systems / D. Janssens, G. Rozenberg -- An actor-based metalevel architecture for group-wide reflection / T. Watanabe, A. Yonezawa -- Producing abstract models for object-oriented languages / P.M. Yelland

There are no comments on this title.

to post a comment.

Powered by Koha