1550 search results - page 67 / 310 » Erlang for Concurrent Programming |
SIGOPS
2010
14 years 10 months ago
2010
CORR
2011
Springer
14 years 6 months ago
2011
Springer
120
click to vote
SIGCSE
2010
ACM
15 years 1 days ago
2010
ACM
Because of the growing importance of concurrent programming, many people are trying to figure out where in the curriculum to introduce students to concurrency. In this paper we di...
TCS
2008
14 years 11 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
105
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...