Object-Technologies for Advanced Software

Object Utopia.- Automating the evolution of object-oriented systems.- Using C++ templates to implement role-based designs.- Explicit metaclasses as a tool for improving the design of class libraries.- Beyond design by contract: Towards formally provable object-oriented software.- Static typing.- ICC++ - A C++ dialect for high performance parallel computing.- Hierarchical collections: An efficient scheme to build an object-oriented distributed class library for massively parallel computation.- Adaptive parameter passing.- Designing a meta object protocol to wrap a standard graphical toolkit.- Avoiding confusion in metacircularity: The meta-helix.- An algebraic semantics of reflective objects.- A meme media architecture for fine-grain component software.- A metric for evaluating effectiveness of object-oriented interface abstraction for promoting software reuse.- An experiment in classification and specialization of synchronization schemes.- Synergies between object-oriented programming language design and implementation research.- Ocore and VAST - Integrating persistence into a parallel object-oriented language.- A metaobject protocol for controlling file cache management.- Subtyping by constraints in object-oriented databases.