Paper Info
Title
R-SHIM: deterministic concurrency with recursion and shared variables
Abstract
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.
Year
DOI
Venue
2006
10.1109/MEMCOD.2006.1695931
MEMOCODE
Keywords
Field
DocType
concurrent programming languages,deterministic concurrency,disciplined shared variables,concurrent recursive procedure calls,r-shim,program scheduling,parallel processing,computer languages,tv,embedded system,concurrent computing,java,computer science
Programming language,Yarn,Nondeterministic algorithm,Computer science,Concurrency,Real-time computing,Theoretical computer science,Coding (social sciences),Concurrent computing,Concurrent object-oriented programming,Java,Recursion
Conference
ISBN
Citations 
PageRank 
1-4244-0421-5
5
0.44
References 
Authors
1
2
Name
Order
Citations
PageRank
Olivier Tardieu146232.13
Stephen A. Edwards21443109.65