language: en

CC ++ : A Declarative Concurrent Object Oriented Programming Notation

K. Mani Chandy Carl Kesselman
California Institute of Technology
September 18, 1992

Abstract CC ++ is Compositional C ++ , a parallel object-oriented notation that consists of C ++ with six extensions. The goals of the CC ++ project are to provide a theory, notation and tools for developing reliable scalable concurrent program libraries, and to provide a framework for unifying: 1. distributed reactive systems, batch-oriented numeric and sym bolic applications, and user-interface systems, 2. declarative programs and object-oriented imperative programs, and 3. deterministic and nondeterministic programs. This paper is a brief description of the motivation for CC ++ , the extensions to C ++ , a few examples of CC ++ programs with reasoning about their correctness, and an evaluation of CC ++ in the context of other research on concurrent computation. A short description of C ++ is provided.

1 Introduction