6 search results - page 2 / 2 » Region-Based Partial Dead Code Elimination on Predicated Cod... |
120
click to vote
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...