Java is type safe — Probably | Zendy

Sophia Drossopoulou | Zendy; Susan Eisenbach | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Java is type safe — Probably

Author(s) -

Sophia Drossopoulou,

Susan Eisenbach

Publication year - 1997

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/bfb0053388

Subject(s) - java applet , computer science , java , java annotation , generics in java , programming language , java modeling language , strictfp , real time java , scala , java concurrency , soundness , class (philosophy) , operating system , artificial intelligence

. Amidst rocketing numbers of enthusiastic Java programmersand internet applet users, there is growing concern about the securityof executing Java code produced by external, unknown sources. Ratherthan waiting to find out empirically what damage Java programs do, weaim to examine first the language and then the environment looking forpoints of weakness. A proof of the soundness of the Java type system is afirst, necessary step towards demonstrating which Java programs won'tcompromise...

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research