Java Jr: Fully Abstract Trace Semantics for a Core Java Language
Abstract elided by the publisher.
Related papers
- A Core Calculus for Java Exceptions OOPSLA 2001
- Game semantics for interface middleweight Java POPL 2014
- The java module system: core design and semantic definition OOPSLA 2007
- TRACE4J: A Lightweight, Flexible, and Insightful Performance Tracing Tool for Java CGO 2026
- Featherweight Java: a minimal core calculus for Java and GJ TOPLAS 2001
- A Fully Abstract Trace Model for Dataflow Networks POPL 1989
- Compatible Genericity with Run-Time Types for the Java Programming Language OOPSLA 1998
- Reducing trace selection footprint for large-scale Java applications without performance loss OOPSLA 2011