A type system for Java bytecode subroutines

ACM Transactions on Programming Languages and Systems

Volumn 21, Issue 1, 1999, Pages 90-137

  Stata, Raymie ^a   Abadi, Martin ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

D.3.1 Programming Languages : Formal Definitions and Theory semantics; D.4.6 Operating Systems : Security and Protection invasive software; F.3.2 Logics and Meanings of Programs : Semantics of Programming Languages operational semantics

Indexed keywords

JAVA VIRTUAL MACHINE LANGUAGE (JVML); POLYMORPHISM;

VIRTUAL STORAGE; WEB BROWSERS; XML;

JAVA PROGRAMMING LANGUAGE;

EID: 0002335588     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/314602.314606     Document Type: Article

References (15)

1. COHEN, R. M. 1997. Defensive Java Virtual Machine version 0.5 alpha release. Web pages at http://www.cli.com/.
2. DROSSOPOULOU, S. AND EISENBACH, S. 1997. Java is type safe - probably. In Proceedings of ECOOP '97. Springer-Verlag, 389-418.
3. FREUND, S. N. AND MITCHELL, J. C. 1998. A type system for object initialization in the Java bytecode language. In OOPSLA '98 Conference Proceedings: Object-Oriented Programming, Systems, Languages, and Applications. ACM, New York, 310-327.
4. GOLDBERG, A. 1998. A specification of Java loading and bytecode verification. In 5th ACM Conference on Computer and Communications Security. ACM, New York, 49-58.
5. HAGIYA, M. AND TOZAWA, A. 1998. On a new method for dataflow analysis of Java Virtual Machine subroutines. In Static Analysis, 5th International Symposium, SAS'98. Springer-Verlag, 17-32.
6. LINDHOLM, T. AND YELLIN, F. 1996. The Java Virtual Machine Specification. Addison-Wesley.
7. MORRISETT, G. 1995. Compiling with types. Ph.D. thesis, Carnegie Mellon University.
8. MORRISETT, G., TARDITI, D., CHENG, P., STONE, C., HARPER, R., AND LEE, P. 1996. The TIL/ML compiler: Performance and safety through types. In Workshop on Compiler Support for Systems Software.
9. light is type-safe - definitely. In Proceedings of the 25th ACM Symposium on Principles of Programming Languages. ACM, New York, 161-170.
10. QIAN, Z. 1998. A formal specification of Java Virtual Machine instructions for objects, methods and subroutines. In Formal Syntax and Semantics of Java™, J. Alves-Foss, Ed. Springer-Verlag. To appear.
11. SARASWAT, V. 1997. The Java bytecode verification problem. Web page at http://www.research .att.com/~vj/bcv.html.
12. SIRER, E. G., MCDIRMID, S., AND BERSHAD, B. 1997. Kimera: A Java system security architecture. Web pages at http://kimera.cs.washington.edu/.
13. SYME, D. 1997. Proving Java type soundness. Tech. Rep. 427, University of Cambridge Computer Laboratory. June.
14. TIC 1997. ACM SIGPLAN Workshop on Types in Compilation (TIC97).
15. YELLIN, F. 1997. Private communication.