33 search results - page 1 / 7 » Certifying Compilation and Run-Time Code Generation |
PEPM
1999
ACM
13 years 9 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
HOTOS
1997
IEEE
13 years 9 months ago
1997
IEEE
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...
CGO
2003
IEEE
13 years 10 months ago
2003
IEEE
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...
GPCE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
ENTCS
2007
13 years 4 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...