Is the Java type system sound?

Theory and Practice of Object Systems

Volumn 5, Issue 1, 1999, Pages 3-24

  Drossopoulou, Sophia ^a   Eisenbach, Susan ^a   Khurshid, Sarfraz ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING; SECURITY OF DATA;

JAVA SUBSETS;

JAVA PROGRAMMING LANGUAGE;

EID: 0032785166     PISSN: 10743227     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<3::AID-TAPO2>3.0.CO;2-T     Document Type: Article

References (34)