Object-Based Parallel and Distributed Computation [electronic resource] : France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers / edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa.

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.

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.