313 search results - page 6 / 63 » Redundancy Elimination for LF |
JUCS
2006
13 years 9 months ago
2006
: The seminal algorithm developed by Ron Cytron, Jeanne Ferrante and colleagues in 1989 for the placement of -nodes in a control flow graph is still widely used in commercial compi...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...
ICTAI
2003
IEEE
14 years 3 months ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
WOSP
2010
ACM
14 years 4 months ago
2010
ACM
ANSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Programs often call the same function with the same arguments, yielding the same results. We call this phenomenon, “function reuse”. Previously, we have shown such a behavior ...