Foundations of object-oriented languages : REX school/workshop, Noordwijkerhout, The Netherlands, may/june 1990; proceedings

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 489Publication details: Berlín : Springer, 1991Edition: 1st edDescription: viii, 441 p. ; 24 cmISBN:
  • 354053931
Subject(s):
Contents:
Preface -- The Rex Project -- 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-04160

Preface -- The Rex Project -- 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