kw.\*:("automated correctness proofs")
Results 1 to 2 of 2
Selection :
Automated soundness proofs for dataflow analyses and transformations via local rulesLERNER, Sorin; MILLSTEIN, Todd; RICE, Erika et al.ACM SIGPLAN notices. 2005, Vol 40, Num 1, pp 364-377, issn 1523-2867, 14 p.Conference Paper
Automatically proving the correctness of compiler optimizationsLERNER, Sorin; MILLSTEIN, Todd; CHAMBERS, Craig et al.ACM SIGPLAN notices. 2003, Vol 38, Num 5, pp 220-231, issn 1523-2867, 12 p.Conference Paper