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