Signature Date University of Washington Abstract Automatically Proving / University of Washington / Philosophy University of Washington / Engineering University of Washington Graduate School This / /
Organization
University of Washington Abstract Automatically Proving / Supervisory Committee / University of Washington / Craig Chambers Reading Committee / Graduate School / /
Person
Craig Chambers Daniel Grossman Jan / Washington Abstract Automatically Proving / Sorin Lerner / Craig Chambers / / /
Automatically Proving the Correctness of Program Analyses and Transformations Sorin Lerner A dissertation submitted in partial fulfillment of