190 search results - page 5 / 38 » Translation validation for an optimizing compiler |
JOT
2006
13 years 7 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
ENTCS
2007
13 years 7 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
TYPES
2004
Springer
14 years 24 days ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspeciļ¬cations, we present a particular instance concerned with the optimized compilation of a lazy language (called...
WWW
2006
ACM
2006
ACM
XML screamer: an integrated approach to high performance XML parsing, validation and deserialization
14 years 8 months ago
This paper describes an experimental system in which customized high performance XML parsers are prepared using parser generation and compilation techniques. Parsing is integrated...
WCRE
2002
IEEE
14 years 10 days ago
2002
IEEE
Dynamic binary translators compile machine code from a source architecture to a target architecture at run time. Due to the hard time constraints of just-in-time compilation only ...