537 search results - page 25 / 108 » Compiling Exceptions Correctly |
169
click to vote
ATAL
2001
Springer
15 years 10 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
171
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
158
click to vote
CONCURRENCY
2007
15 years 5 months ago
2007
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. Despite its broad availability, there remains a need ...
268
click to vote
LISP
2006
15 years 5 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
187
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
Speculative parallelization can provide significant sources of additional thread-level parallelism, especially for irregular applications that are hard to parallelize by conventio...