180
click to vote
PLDI
2000
ACM
16 years 15 hour ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...