Erika Rice

	2005
1		Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers: Automated soundness proofs for dataflow analyses and transformations via local rules. POPL 2005: 364-377

Coauthor Index

1	Craig Chambers	[1]
2	Sorin Lerner	[1]
3	Todd D. Millstein	[1]