Translation validation for an optimizing compiler2000-05-010 PRE AI DOI:10.1145/349299.349314OriginalOriginal request for helpShareSaveAbstract En