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.
Author(s): Hiroki Konaka, Takashi Tomokiyo (auth.), Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa (eds.)
Series: Lecture Notes in Computer Science 1107
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 354
Tags: Computation by Abstract Devices; Computer Communication Networks; Programming Techniques; Software Engineering; Operating Systems
Data parallel programming in the parallel object-oriented language OCore ....Pages 1-17
Polymorphic matrices in paladin....Pages 18-37
Programming and debugging for massive parallelism: The case for a parallel object-oriented language A-NETL....Pages 38-58
Schematic: A concurrent object-oriented extension to Scheme....Pages 59-82
(Thread and Object)-Oriented Distributed Programming....Pages 83-103
Distributed and object oriented symbolic programming in April....Pages 104-124
Reactive programming in Eiffel//....Pages 125-147
Proofs, concurrent objects and computations in a FILL framework....Pages 148-167
Modular description and verification of concurrent objects....Pages 168-186
CHORUS/COOL CHORUS Object oriented technology....Pages 187-204
Adaptive operating system design using reflection....Pages 205-218
Isatis: A customizable distributed object-based runtime system....Pages 219-237
Lessons from designing and implementing GARF....Pages 238-256
Design and implementation of DROL runtime environment on Real-Time Mach kernel....Pages 257-272
ActNet: The actor model applied to mobile robotic environments....Pages 273-289
Component-based programming and application management with olan....Pages 290-309
The version management architecture of an object-oriented distributed systems environment: OZ++....Pages 310-328
Formal semantics of agent evolution in language flage....Pages 329-348
