Non-null References by Default in Java: Alleviating the Nullity Annotation Burden
No abstract available.
DOI 10.1007/978-3-540-73589-2_12
Related papers
- Declaring and checking non-null types in an object-oriented language OOPSLA 2003
- Scala with Explicit Nulls ECOOP 2020
- Precise Set Sharing Analysis for Java-Style Programs VMCAI 2008
- A Parameterized Type System for Race-Free Java Programs OOPSLA 2001
- Establishing object invariants with delayed types OOPSLA 2007
- Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language APLAS 2020
- Modular reasoning for deterministic parallelism POPL 2011
- Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper) GPCE 2024