Efficient Inference of Static Types for Java Bytecode
Abstract elided by the publisher.
Related papers
- Two Approaches to Fast Bytecode Frontend for Static Analysis OOPSLA 2025
- Efficient local type inference OOPSLA 2008
- Type Elaboration and Subtype Completion for Java Bytecode POPL 2000
- Type elaboration and subtype completion for Java bytecode TOPLAS 2001
- Java bytecode verification via static single assignment form TOPLAS 2008
- Standard fixpoint iteration for Java bytecode verification TOPLAS 2000
- A Type System for Object Initialization in the Java Bytecode Language OOPSLA 1998
- A Type System for Java Bytecode Subroutines POPL 1998