Presenting 18 papers, this volume is organized into sections on massively parallel programming languages, distributed programming languages formalisms, distributed operating systems, dependable distributed computing, and software management.

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.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com