Altering Java Semantics via Bytecode Manipulation
Abstract elided by the publisher.
Related papers
- Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects OOPSLA 2023
- Efficient local type inference OOPSLA 2008
- Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs POPL 1998
- A termination analyzer for Java bytecode based on path-length TOPLAS 2010
- A machine-checked model for a Java-like language, virtual machine, and compiler TOPLAS 2006
- Enhancing source-level programming tools with an awareness of transparent program transformations OOPSLA 2009
- Java Bytecode Verification: An Overview CAV 2001
- Berlioz: Compiling Oz to Java Bytecode APLAS 2000