Is the Java type system sound?
β
Drossopoulou, Sophia; Eisenbach, Susan; Khurshid, Sarfraz
π
Article
π
1999
π
John Wiley and Sons
π
English
β 226 KB
A proof of the soundness of the Java type system is a first, necessary step towards demonstrating which Java programs won't compromise computer security. We consider a subset of Java describing primitive types, classes, inheritance, instance variables and methods, interfaces, shadowing, dynamic meth