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.
Object-Based Parallel and Distributed Computation: France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995, Selected Papers
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.