Theses most similar to An efficient sequential BTRS implementation (King, Myron Decker; 2009) read it
Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications
Tan, Yang Meng (1994)
- Advisor: John V. Guttag
- Department of Electrical Engineering and Computer Science
- Advisor: Charles E. Leiserson
- Department of Electrical Engineering and Computer Science
- Advisor: Martin Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
An imperative extension to alloy and a compiler for its execution
Near, Joseph P. (Joseph Paul) (2010)
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
Storyboard programming of data structure manipulations : a picture is worth 20 lines of code
Singh, Rishabh (2010)
- Advisor: Armando Solar-Lezama
- Department of Electrical Engineering and Computer Science
Dynamic optimization through the use of automatic runtime specialization
Whaley, John (John Craig), 1975- (1999)
- Advisor: Martin Rinard
- Department of Electrical Engineering and Computer Science
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
Tree form : an intermediate representation for retargetable optimizing compliers
Bryce, Duncan G. (Duncan Gabriel Peter), 1976- (2000)
- Advisor: Martin Rinard
- Department of Electrical Engineering and Computer Science
- Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science