CaltechAUTHORS
  A Caltech Library Service

CC++: A Declarative Concurrent Object Oriented Programming Notation

Chandy, K. Mani and Kesselman, Carl (1993) CC++: A Declarative Concurrent Object Oriented Programming Notation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01

[img]
Preview
Postscript - Submitted Version
See Usage Policy.

270Kb
[img]
Preview
PDF - Submitted Version
See Usage Policy.

1215Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01

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.


Item Type:Report or Paper (Technical Report)
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.
Group:Computer Science Technical Reports
Funders:
Funding AgencyGrant Number
Defense Advanced Research Projects Agency (DARPA)UNSPECIFIED
NSFCCR-8809615
Office of Naval Research (ONR)N00014-91-J-4012
DOI:10.7907/Z96M34V8
Record Number:CaltechCSTR:1993.cs-tr-92-01
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26851
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:14 May 2001
Last Modified:23 May 2017 21:10

Repository Staff Only: item control page