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 symbolic 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.

Metadata

publication

year

1993

publication date

1993/3/12

authors

K Mani Chandy, Carl Kesselman

link

https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=b0d6ddf253a51abc47740fab76177167e77dfa1b

resource_link

https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=b0d6ddf253a51abc47740fab76177167e77dfa1b

journal

Research directions in concurrent object-oriented programming

pages

281-313

publisher

MIT press