537 search results - page 40 / 108 » Compiling Exceptions Correctly |
ISCA
1995
IEEE
14 years 18 days ago
1995
IEEE
Speculative execution is execution of instructions before it is known whether these instructions should be executed. Compiler-based speculative execution has the potential to achi...
ARITH
2009
IEEE
14 years 1 months ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...