language: en

Support for Implementation of Evolutionary Concurrent Systems in Concurrent Programming Languages

Raju Pandey 1 and J. C. Browne 2
1 Computer Science Department, University of California,
Davis, CA 95616
2 Department of Computer Sciences, The University of Texas,
Austin, TX 78712

Abstract. In many concurrent programming languages, concurrent programs are difficult to extend and modify: small changes in a concurrent program may require re-implementations of a large number of its components. In this paper a novel concurrent program composition mechanism is presented in which implementations of computations and synchronizations are completely separated. Separation of implementations facilitates extensions and modifications of programs by allowing one to change implementations of both computations and synchronizations. The paper also describes a concurrent programming model and a programming lan guage that support the proposed approach.

1 Introduction