1499 search results - page 69 / 300 » Chopping Concurrent Programs |
CC
2008
Springer
14 years 2 days ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
TLDI
2009
ACM
14 years 7 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this a...
ECOOPWEXCEPTION
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Exception handling is a well-established mechanism in sequential programming. Concurrency and asynchronous calls introduce the possibility for multiple simultaneous excep...