Title :
Type-preserving compilation of featherweight java
Author :
League, Christopher ; Shao, Zhong ; Trifonov, Valery
Author_Institution :
Yale University
Keywords :
Computer science; Encoding; Java; Machinery; Permission; Privacy; Program processors; Runtime; Safety; Security;
Conference_Titel :
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems]
Print_ISBN :
0-7695-2057-X
DOI :
10.1109/FITS.2003.1264927
