2 search results - page 1 / 1 » On-the-Fly Dynamic Dead Variable Analysis |
120
Voted
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
150
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...