Research Directions in Concurrent Object-Oriented Programming

by Agha, Gul; Wegner, Peter; Yonezawa, Akinori

• ISBN13: 9780262011396
• ISBN10: 0262011395
• Format: Hardcover
• Copyright: 1993-11-01
• Publisher: Mit Pr

Summary

This collection of original research provides a comprehensive survey of developments at the leading edge of concurrent object-oriented programming. It documents progress-from general concepts to specific descriptions-in programming language design, semantic tools, systems, architectures, and applications. Chapters are written at a tutorial level and are accessible to a wide audience, including researchers, programmers, and technical managers. The problem of designing systems for concurrent programming has become an increasingly important area of research in computer science with a concomitant increase in the popularity of object-based programming. Because parallelism is a natural consequence of the use of objects, the development of systems for concurrent object-oriented programming is providing important software support for a new generation of concurrent computers.

Table of Contents

Preface	p. vii
Summary of Papers	p. ix
Language Issues
Abstraction and Modularity Mechanisms for Concurrent Computing	p. 3
Tradeoffs between Reasoning and Modeling	p. 22
A Survey of Logic Programming-Based Object-Oriented Language	p. 42
Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages	p. 107
Composing Active Objects	p. 151
Programming Constructs
Supporting Modularity in Highly-Parallel Programs	p. 175
Multiple Concurrency Control Policies in an Object-Oriented Programming System	p. 195
Ports for Objects in Concurrent Logic Programs	p. 211
Language Design
Specifying Concurrent Languages and Systems with ¿-GRAMMARS	p. 235
Interaction
Abstract Machines	p. 257
CC++: A Declarative Concurrent Object-Oriented Programming Notation	p. 281
A Logical Theory of Concurrent Objects and Its Realization in the Maude Language	p. 314
Operating Systems
CHOICES: A Parallel Object-Oriented Operating System	p. 393
Performance Monitoring
Monitoring Concurrent Object-Based Programs	p. 479
Contributors	p. 511
Name Index	p. 521
Subject Index	p. 527
Table of Contents provided by Publisher. All Rights Reserved.