On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines
No abstract available.
Related papers
- A Simple, Comprehensive Type System for Java Bytecode Subroutines POPL 1999
- A Type System for Object Initialization in the Java Bytecode Language OOPSLA 1998
- The type system for object initializatiion in the Jave bytecode language TOPLAS 1999
- A Formal Framework for the Java Bytecode Language and Verifier OOPSLA 1999
- A Type System for Java Bytecode Subroutines POPL 1998
- A Type System for Java Bytecode Subroutines TOPLAS 1999
- Java bytecode verification via static single assignment form TOPLAS 2008
- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine ECOOP 2013