Theses most similar to A virtual machine for a type-[omega] denotational proof language (Arvizo, Teodoro, 1978-; 2002) read it
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
- Advisors: Jeff H. Perkins; Michael D. Ernst
- Department of Electrical Engineering and Computer Science
Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"
Kuc̆an, Jakov (1997)
- Advisor: Albert R. Meyer
- Department of Mathematics
- Advisor: Albert Meyer
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
- Advisor: Olin Shivers
- Department of Electrical Engineering and Computer Science
- Advisor: Stephen J. Garland
- 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: Scott Aaronson
- Department of Electrical Engineering and Computer Science
- Advisor: Christopher J. Terman
- Department of Electrical Engineering and Computer Science