A Model for Java with Wildcards
Abstract elided by the publisher.
Related papers
- Java Wildcards Meet Definition-Site Variance ECOOP 2012
- Taming wildcards in Java's type system PLDI 2011
- A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference ECOOP 2026
- Refactoring Java generics by inferring wildcards, in practice OOPSLA 2014
- Wildcards need witness protection OOPSLA 2022
- Taming the wildcards: combining definition- and use-site variance PLDI 2011
- Modeling wildcard-free MPI programs for verification PPoPP 2005
- Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives VMCAI 2005