1499 search results - page 86 / 300 » Chopping Concurrent Programs |
96
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
105
Voted
WOTUG
2008
15 years 2 months ago
2008
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
95
Voted
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...
124
click to vote
ENTCS
2006
15 years 24 days ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
92
Voted
ICFP
2006
ACM
16 years 22 days ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...