Return to search

Automatically proving the correctness of program analyses and transformations /

Thesis (Ph. D.)--University of Washington, 2006. / Vita. Includes bibliographical references (p. 129-140).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/77008483
Date January 2006
CreatorsLerner, Sorin.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeTheses
SourceConnect to this title online; UW restricted

Page generated in 0.0092 seconds