TVOC: A Translation Validator for Optimizing Compilers

@inproceedings{Barrett2005TVOCAT,
  title={TVOC: A Translation Validator for Optimizing Compilers},
  author={Clark W. Barrett and Yi Fang and Benjamin Goldberg and Ying Hu and Amir Pnueli and Lenore D. Zuck},
  booktitle={CAV},
  year={2005}
}
Highly Cited
This paper has 67 citations. REVIEW CITATIONS

Topics

Statistics

01020'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

67 Citations

Semantic Scholar estimates that this publication has 67 citations based on the available data.

See our FAQ for additional information.