Academic Commons


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



Also Published In

Proceedings: Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design: MEMOCODE‘06: July 27-30, 2006, Napa, California

More About This Work

Academic Units
Computer Science
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.