CC++: A Declarative Concurrent Object Oriented Programming Notation
- Creators
- Chandy, K. Mani
- Kesselman, Carl
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.
Additional Information
© 1994 California Institute of Technology. March 12, 1993. The implementation of CC++ was done with the assistance of Mei Su, Tal Lancaster, Pete Carlin, Marc Pomerantz, Julia George and Ranjit Mathews. Thanks to Ian Foster and Craig Lee for their suggestions and for reviewing various versions of this document. The research on C++ object libraries for concurrent computation is funded by DARPA under grant N00014-91-J-4012. The research on compositional concurrent notations is funded by the NSF Center for Research on Parallel Computing under grant CCR-8809615.Attached Files
Submitted - 92-01.pdf
Submitted - 92-01.ps
Files
Additional details
- Eprint ID
- 26851
- Resolver ID
- CaltechCSTR:1993.cs-tr-92-01
- Defense Advanced Research Projects Agency (DARPA)
- NSF
- CCR-8809615
- Office of Naval Research (ONR)
- N00014-91-J-4012
- Created
-
2001-05-14Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports
- Series Name
- Computer Science Technical Reports