Object Oriented Parallel and Distributed Programming

Jean-Paul Bahsoun

320 pages, parution le 21/01/1970

Ajouter à une liste

Indisponible

Résumé

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.

Table of contents
1. Formalisms
Formal Properties of the Eiffel
Multilevel Proof System for Concurrent Object-Oriented Systems
Static analysis of behavior changes in Actor languages
2. Parallel Computing
Efficient Implementation of a Parallel Object-Oriented Language A-NETL on Multicomputers
OBP-Lib: An Object-Oriented Parallel Library and its Preliminary Performance
Visual Abstractions for Object-Based Parallel Computing
3. Concurrent and Distributed Programming
Implementing Distributed Generic Functions
An Object-Oriented Concurrent Reflective Language ABCL/R3. Its Meta-level Design and Efficient Implementation Techniques
Solving Inheritance Anomaly Problems by State Abstraction-Based Synchronization
Adaptive Objects for Concurrent Accesses
4. Software Architectures and Middleware
Actalk: A Framework for Object-Oriented Concurrent Programming Design and Experience
Using Nonfunctional Execution Properties to Classify Software for Reuse
Using and Implementing CORBA Objects with CorbaScript
5. Resource Management
On-the-fly Hybrid Garbage Collector for Parallel and Distributed Computing
The Security Mechanism of OZ: an Object-Oriented Distributed Systems Environment
Object Passing and Interaction Mechanism of the Planet Mobile Object System