309 search results - page 43 / 62 » Code Transformations for One-Pass Analysis |
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
109
click to vote
CSMR
2004
IEEE
15 years 3 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
136
click to vote
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
92
Voted
CAV
2009
Springer
16 years 8 days ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
EUROPAR
2003
Springer
15 years 5 months ago
2003
Springer
Partial redundancy elimination (PRE) techniques play an important role in optimizing compilers. Many optimizations, such as elimination of redundant expressions, communication opti...