537 search results - page 21 / 108 » Compiling Exceptions Correctly |
98
Voted
ASM
2004
ASM
15 years 7 months ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
134
click to vote
IWMM
1998
Springer
15 years 6 months ago
1998
Springer
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...
120
Voted
TYPES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
110
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
214
Voted
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
As XQuery nears standardization, more sophisticated XQuery applications are emerging, which often exploit the entire language and are applied to non-trivial XML sources. We propos...