SafeJava : a unified type system for safe programming
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, February 2004.
Main Author: | Boyapati, Chandrasekhar, 1973- |
---|---|
Other Authors: | Martin C. Rinard. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2006
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/30087 |
Similar Items
-
JPS : a distributed persistent Java system
by: Boyapati, Chandrasekhar, 1973-
Published: (2009) -
Memory-safe microcontroller applications with the Bedrock structured programming system
by: Barenblat, Benjamin Ezra
Published: (2015) -
Redesigning the memory hierarchy for memory-safe programming languages
by: Gan, Yee Ling
Published: (2018) -
Improving security at the system-call boundary in a type-safe operating system
by: Weisblat, Jakob H.
Published: (2019) -
A Type System for Safe Region-Based Memory Management in Real-Time Java
by: Salcianu, Alexandru, et al.
Published: (2023)