Java Subtype Tests in Real-Time
No abstract available.
Related papers
- Perfect hashing as an almost perfect subtype test TOPLAS 2008
- Efficient Type Inclusion Tests OOPSLA 1997
- Region inference for an object-oriented language PLDI 2004
- Efficient subtyping tests with PQ-encoding TOPLAS 2005
- Efficient Subtyping Tests with PQ-Encoding OOPSLA 2001
- Julia subtyping: a rational reconstruction OOPSLA 2018
- TEST: A Tracer for Extracting Speculative Thread CGO 2003
- Practical MHP Analysis for Java CC 2026