Foundations of Object-Oriented Languages: REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 - Softcover

Softcover

ISBN 10: 3662196913 ISBN 13: 9783662196915

Publisher: Springer, 2014

Synopsis

The structure and semantics of actor languages.- Designing an object-oriented programming language with behavioural subtyping.- A layered semantics for a parallel object-oriented language.- A proof system for the language POOL.- Object-oriented programming versus abstract data types.- Object-oriented specification in LOTOS and Z, or my cat really is object-oriented!.- A categorial theory of objects as observed processes.- Net-based description of parallel object-based systems, or POTs and POPs.- Describing, structuring and implementing objects.- Modelling features of object-oriented languages in second order functional languages with subtypes.- Graph grammar-based description of object-based systems.- An actor-based metalevel architecture for group-wide reflection.- Producing abstract models for object-oriented languages.

Edition details

• Publisher: Springer
• Publication date: 2014
• Language: English
• ISBN 10: 3662196913
• ISBN 13: 9783662196915
• Binding: Paperback
• Number of pages: 456
• Editor: Bakker J.W. De, Roever W.P. De, Rozenberg G.