Theses most similar to Compiler-enforced immutability for the Java language (Birka, Adrian, 1980-; 2003) read it
- Advisor: Olin Shivers
- Department of Electrical Engineering and Computer Science
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
- Advisor: Saman Amarasinghe
- Department of Electrical Engineering and Computer Science
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
A partial implementation of a modular system for software safety analysis
Pickett, Sara C. (Sara Catherine), 1976- (2000)
- Advisor: Nancy G. Leveson
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science