4355 search results - page 145 / 871 » From Interpretation to Compilation |
134
Voted
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
161
Voted
JAR
2010
15 years 2 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
119
click to vote
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
240
click to vote
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Short vector (SIMD) instructions are useful in signal processing, multimedia, and scientific applications. They offer higher performance, lower energy consumption, and better res...
168
Voted
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....