A type system for Java bytecode subroutines
暂无分享,去创建一个
[1] Masami Hagiya,et al. On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines , 1998, SAS.
[2] Stephen N. Freund,et al. A type system for object initialization in the Java bytecode language , 1998, OOPSLA '98.
[3] Greg Morrisett,et al. Compiling with Types , 1995 .
[4] Tobias Nipkow,et al. Javalight is type-safe—definitely , 1998, POPL '98.
[5] N. S. Barnett,et al. Private communication , 1969 .
[6] Don Syme,et al. Proving Java Type Soundness , 1999, Formal Syntax and Semantics of Java.
[7] Frank Yellin,et al. The Java Virtual Machine Specification , 1996 .
[8] R. Lathe. Phd by thesis , 1988, Nature.
[9] Sophia Drossopoulou,et al. Java is Type Safe - Probably , 1997, ECOOP.
[10] Zhenyu Qian,et al. A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines , 1999, Formal Syntax and Semantics of Java.
[11] Allen Goldberg,et al. A specification of Java loading and bytecode verification , 1998, CCS '98.
[12] Peter Lee,et al. The TIL/ML Compiler: Performance and Safety through Types , 1996 .