Object-Based Parallel and Distributed Computation France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers

This book contains a refereed collection of revised papers selected from the presentations at the France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC'95, held in Tokyo in June 1995.
The 18 full papers included in the book constitute a representative, well-balanced set of timely research contributions to the growing field of object-based concurrent computing. The volume is organized in sections on massively parallel programming languages, distributed programming languages, formalisms, distributed operating systems, dependable distributed computing, and software management.

Data parallel programming in the parallel object-oriented language OCore.- Polymorphic matrices in paladin.- Programming and debugging for massive parallelism: The case for a parallel object-oriented language A-NETL.- Schematic: A concurrent object-oriented extension to Scheme.- (Thread and Object)-Oriented Distributed Programming.- Distributed and object oriented symbolic programming in April.- Reactive programming in Eiffel//.- Proofs, concurrent objects and computations in a FILL framework.- Modular description and verification of concurrent objects.- CHORUS/COOL CHORUS Object oriented technology.- Adaptive operating system design using reflection.- Isatis: A customizable distributed object-based runtime system.- Lessons from designing and implementing GARF.- Design and implementation of DROL runtime environment on Real-Time Mach kernel.- ActNet: The actor model applied to mobile robotic environments.- Component-based programming and application management with olan.- The version management architecture of an object-oriented distributed systems environment: OZ++.- Formal semantics of agent evolution in language flage.