Automatically Proving the Correctness of Compiler Optimizations

Automatically Proving the Correctness of Compiler Optimizations (2003)

by Sorin Lerner , Todd Millstein , Craig Chambers

Citations:

58 - 7 self

User correction supplied by mph

Datum	Value	Source
TITLE	Automatically Proving the Correctness of Compiler Optimizations	user correction
AUTHOR NAME	Sorin Lerner	user correction
AUTHOR AFFIL	University of Washington	user correction
AUTHOR NAME	Todd Millstein	user correction
AUTHOR AFFIL	University of Washington	user correction
AUTHOR NAME	Craig Chambers	user correction
AUTHOR AFFIL	University of Washington	user correction
YEAR	2003	user correction
CITATIONS	29 found	ParsCit 1.0