Object oriented parallel & distributed programming

This publication contains selected papers originated from two workshops, named France Japan Workshop on Object Parallel and Distributed Computation held in Tokyo: OBPDC'95 and in Toulouse : OBPDC'97.

1. Formalisms Formal Properties of the Eiffel// Model, Isabelle Attali, Denis Caromel, Sidi Ould Ehmety Multilevel Proof System for Concurrent Object-Oriented Systems, Jean-Paul Bahsoun, Pascal Farès, Corinne Servières Static analysis of behavior changes in Actor languages, Jean-Louis Colaço, Marc Pantel, Patrick Sallé 2. Parallel Computing Efficient Implementation of a Parallel Object-Oriented Language A-NETL on Multicomputers, Takanobu Baba, Tsutomu Yoshinaga, Yoshiyuki Iwamoto, Somchai Numprasertchai, Norihito Saitoh, Kanemitsu Ootsu, Mitsutoshi Hori OBP-Lib: An Object-Oriented Parallel Library and its Preliminary Performance, Motohiko Matsuda, Mitsuhisa Sato, Yutaka Ishikawa Visual Abstractions for Object-Based Parallel Computing, Etsuya Shibayama, Masashi Toyoda, Buntarou Shizuki, Shin Takahashi 3. Concurrent and Distributed Programming Implementing Distributed Generic Functions, Christian Queinnec An Object-Oriented Concurrent Reflective Language ABCL/R3. Its Meta-level Design and Efficient Implementation Techniques, Hidehiko Masuhara, Akinori Yonezawa Solving Inheritance Anomaly Problems by State Abstraction-Based Synchronization, Yasushi Kuno Adaptive Objects for Concurrent Accesses, Masahiro Yasugi, Shigeyuki Eguchi, Kazuo Taki 4. Software Architectures and Middleware Actalk: A Framework for Object-Oriented Concurrent Programming Design and Experience, Jean-Pierre Briot Using Nonfunctional Execution Properties to Classify Software for Reuse, Titos Saridakis, Christophe Bidan, Valérie Issarny Using and Implementing CORBA Objects with CorbaScript, Philippe Merle, Christophe Gransart, Jean-Marc Geib 5. Resource Management On-the-fly Hybrid Garbage Collector for Parallel and Distributed Computing, Munenori Maeda, Yutaka Ishikawa The Security Mechanism of OZ: an Object-Oriented Distributed Systems Environment, Yoichi Hamazaki, Toshihiro Nishioka, Michiharu Tsukamoto Object Passing and Interaction Mechanism of the Planet Mobile Object System, Kazuhiko Kato, Katsuya Matsubara, Kunihiko Toumura, Susumu Aikawa, Yuuichi Someya