Static elaboration of recursion for concurrent software

Abstract

Unlike sequential software, concurrent software needs a structuring mechanism capable of specifying constructs such as pipelines, scatter-gather, and other networks. Concurrent software languages usually provide mechanisms for dynamically creating such structures, but this makes them difficult to analyze statically. In particular, it would be very… (More)
DOI: 10.1145/1328408.1328420

Topics

7 Figures and Tables

Cite this paper

@inproceedings{Edwards2008StaticEO, title={Static elaboration of recursion for concurrent software}, author={Stephen A. Edwards and Jia Zeng}, booktitle={PEPM}, year={2008} }