75 search results - page 4 / 15 » Improving Program Correctness with Atomic Exception Handling |
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Asynchronous exception propagation is a useful alternative form of communication among threads, especially if timely propagation is ensured. However, timely propagation is impossi...
LCTRTS
2011
Springer
12 years 10 months ago
2011
Springer
nguage does not provide any abstractions for exception handling or other forms of error handling, leaving programmers to devise their own conventions for detecting and handling er...
EUROPAR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Modern microprocessors have sacrificed the exactness of exceptions for improved performance long ago. This is a side effect of reordering instructions so that the micropr...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...