SafeJava: A Unified Type System for Safe Programming

Download: ps, pdf.

“SafeJava: A Unified Type System for Safe Programming” by Chandrasekhar Boyapati. Ph.D. dissertation, MIT, Feb. 2004, 167 pages.

Download: ps, pdf.

BibTeX entry:

@phdthesis{boyapati04safejava,
   author = {Chandrasekhar Boyapati},
   title = {SafeJava: {A} Unified Type System for Safe Programming},
   school = {MIT},
   type = {{Ph.D.}},
   pages = {167},
   month = feb,
   year = {2004}
}