E-Books durchsuchen

Foundations of Object-Oriented Languages [1991]

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