41 search results - page 2 / 9 » Short-Circuit Compiler Transformation: Optimizing Conditiona... |
EUROGP
1999
Springer
13 years 9 months ago
1999
Springer
The paper presents the abstraction transformation which is a fundaethod for creating functions in ADATE. The use of abstraction turns out to be similar to evolution by gene duplic...
WADT
2004
Springer
13 years 10 months ago
2004
Springer
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...
CCGRID
2001
IEEE
13 years 9 months ago
2001
IEEE
To ameliorate the need to spend significant programmer time modifying parallel programs to achieve highperformance, while maintaining compact, comprehensible source codes, this pa...
ENTCS
2007
13 years 5 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....
FCCM
2002
IEEE
13 years 10 months ago
2002
IEEE
Several projects have developed compiler tools that translate high-level languages down to hardware description languages for mapping onto FPGAbased reconfigurable computers. Thes...