Theses most similar to Eliminating intermediate lists in pH (Schwartz, Jacob B. (Jacob Benjamin), 1975-; 2000) read it
- Advisor: David A. McAllester
- Department of Electrical Engineering and Computer Science
- Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
- Department of Electrical Engineering and Computer Science
- Advisor: Albert Meyer
- Department of Electrical Engineering and Computer Science
- Advisor: Martin C. Rinard
- Department of Electrical Engineering and Computer Science
Using a denotational proof language to verify dataflow analyses
Hao, Melissa B. (Melissa Betty), 1979- (2002)
- Advisor: Howard E. Shrobe
- Department of Electrical Engineering and Computer Science
- Advisor: Adam Chlipala
- Department of Electrical Engineering and Computer Science