Academic Commons

Articles

R-SHIM: Deterministic Concurrency with Recursion and Shared Variables

Tardieu, Olivier; Edwards, Stephen A.

Concurrent programming languages are good for embedded systems because they match the parallelism of their environments, but most concurrent languages are nondeterministic, making coding in them unwieldy. We present R-SHIM, the core of a language with concurrent recursive procedure calls and disciplined shared variables that remains deterministic -- the behavior of a program is scheduling-independent

Subjects

Files

Also Published In

Title
Proceedings: Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design: MEMOCODE‘06: July 27-30, 2006, Napa, California
DOI
https://doi.org/10.1109/MEMCOD.2006.1695931

More About This Work

Academic Units
Computer Science
Publisher
IEEE
Published Here
September 22, 2011
Academic Commons provides global access to research and scholarship produced at Columbia University, Barnard College, Teachers College, Union Theological Seminary and Jewish Theological Seminary. Academic Commons is managed by the Columbia University Libraries.