Theses most similar to A method for mapping between ASMs and implementation language (Wang, David Cheng-Ping; 2010) read it
Verifiable compilation of I/O automata without global synchronization
Tauber, Joshua A. (Joshua Allen) (2005)
- Advisor: Nancy A. Lynch
- Department of Electrical Engineering and Computer Science
A performance driven approach for hardware synthesis of guarded atomic actions
Rosenband, Daniel L., 1977- (2005)
- Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
- Department of Electrical Engineering and Computer Science
A formal framework for specification-based embedded real-time system engineering
Ouimet, Martin, 1975- (2008)
- Advisor: I. Kristina Lundqvist
- Department of Aeronautics and Astronautics
A relational framework for bounded program verification
Dennis, Gregory D. (Gregory David), 1980- (2009)
- Advisor: Daniel N. Jackson
- 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
- Advisors: Armando Solar̆-Lezam; Sumit Gulwani
- Department of Electrical Engineering and Computer Science
- Advisor: William E. Weihl
- Department of Electrical Engineering and Computer Science
- Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science
- Advisor: Arvind
- Department of Electrical Engineering and Computer Science