论文信息 - Type safety in the jvm: some problems in jdk 1 - 字舞流文

Type safety in the jvm: some problems in jdk 1

Alessandro Coglio | Allen Goldberg | A. Coglio | A. Goldberg

[1] Zhenyu Qian,et al. A Formal Specification of Java TM Class Loading Zhenyu , 2000 .

[2] Alessandro Coglio,et al. Type safety in the jvm: some problems in jdk 1 , 2000 .

[3] Robert D. Cameron,et al. Proof linking: an architecture for modular verification of dynamically-linked mobile code , 1998, SIGSOFT '98/FSE-6.