Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings
Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings
- 1st ed.
- Berlín : Springer, c1991
- viii, 442 p. : il. ; 25 cm
- Lecture notes in computer science 489 .
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
354053931X
DIF005731
REUNIONES
LENGUAJES DE PROGRAMACIÓN
PROGRAMACIÓN ORIENTADA A OBJETOS
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
354053931X
DIF005731
REUNIONES
LENGUAJES DE PROGRAMACIÓN
PROGRAMACIÓN ORIENTADA A OBJETOS