Add to ORKGA compositional parallel program is a program constructed by composing component programs in parallel, where the composed program inherits properties of its components. In this paper, we describe a small extension of C++ called Compositional C++ or CC++ which is an object-oriented notation that supports compositional parallel programming. CC++ integrates different paradigms of parallel programming: data-parallel, task-parallel and object-parallel paradigms; imperative and declarative programming; shared memory and messagebased programs. CC++ is designed to be transportable across a range of MIMD architectures
Formal methods to specify and verify concurrent programs with synchronous message passing are discus...
This paper describes a concurrent extension of the C++ programming language[1]. The extended C++ lan...
This paper surveys some classic and recent results on the finite axiomatizability of bisimilarity ov...
A compositional parallel program is a program constructed by composing component programs in paralle...
C++ was designed to support a wide range of programming styles. A parallel extension to C++ should s...
... this paper, we discuss alternative approaches to the realization of this principle, which holds ...
This paper proposes a parallel programming notation and a method of reasoning about programs with th...
This document gives a concise definition of the syntax and semantics of CC++. Knowledge of the C++ l...
We investigate the practical integration of functional and imperative parallel programming in the co...
Large distributed applications are composed of basic blocks, by using composition operators. In an ...
CC++ is an object-oriented parallel programming language that uses parallel composition, atomic func...
Abstract. In task-parallel programs, diverse activities can take place concurrently, and com-municat...
Declarative programming languages (e.g., functional and logic programming languages) are semanticall...
Languages and tools currently available for the development of parallel applications are difficult t...
This paper demonstrates how parallel programming language features can be specified as composable la...
Formal methods to specify and verify concurrent programs with synchronous message passing are discus...
This paper describes a concurrent extension of the C++ programming language[1]. The extended C++ lan...
This paper surveys some classic and recent results on the finite axiomatizability of bisimilarity ov...
A compositional parallel program is a program constructed by composing component programs in paralle...
C++ was designed to support a wide range of programming styles. A parallel extension to C++ should s...
... this paper, we discuss alternative approaches to the realization of this principle, which holds ...
This paper proposes a parallel programming notation and a method of reasoning about programs with th...
This document gives a concise definition of the syntax and semantics of CC++. Knowledge of the C++ l...
We investigate the practical integration of functional and imperative parallel programming in the co...
Large distributed applications are composed of basic blocks, by using composition operators. In an ...
CC++ is an object-oriented parallel programming language that uses parallel composition, atomic func...
Abstract. In task-parallel programs, diverse activities can take place concurrently, and com-municat...
Declarative programming languages (e.g., functional and logic programming languages) are semanticall...
Languages and tools currently available for the development of parallel applications are difficult t...
This paper demonstrates how parallel programming language features can be specified as composable la...
Formal methods to specify and verify concurrent programs with synchronous message passing are discus...
This paper describes a concurrent extension of the C++ programming language[1]. The extended C++ lan...
This paper surveys some classic and recent results on the finite axiomatizability of bisimilarity ov...