537 search results - page 6 / 108 » Compiling Exceptions Correctly |
147
click to vote
ENTCS
2007
14 years 11 months ago
2007
Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...
CC
2000
Springer
15 years 4 months ago
2000
Springer
JESP is a tool for statically examining the usage of user thrown exceptions in Java source code. Reported here are the first findings over a dataset of 31 publicly available Java...
135
click to vote
ESOP
1992
Springer
15 years 3 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
118
click to vote
TCS
1998
14 years 11 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
129
click to vote
ICCL
1992
IEEE
15 years 3 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...