Original language | English (US) |
---|---|
Title of host publication | Proceedings of the Third International Workshop on Compiler Optimization Meets Compiler Verification (COCV), April 2004 |
State | Published - 2004 |
Into the loops: Practical issues in translation validation for optimizing compilers
Benjamin Goldberg, Lenore Zuck, Clark Barrett
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution