Declaring and checking non-null types in an object-oriented language

No abstract is available for this paper.

• Publication year

  2003

• Venue

  Conference on Object-Oriented Programming Systems, Languages, and Applications

• Publication date

  2003-11-26

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/949305.949332
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Java(TM) Language Specification

  2005cited by this paper
• Heap Monotonic Typestate

  2003cited by this paper
• Cyclone: A Safe Dialect of C

  2002cited by this paper
• CCured: type-safe retrofitting of legacy code

  2002cited by this paper
• Extended static checking for Java

  2002influential reference
• Enforcing high-level protocols in low-level software

  2001cited by this paper
• Marmot: an optimizing compiler for Java

  2000cited by this paper
• Alias Types

  2000cited by this paper
• From system F to typed assembly language

  1999cited by this paper
• The design of a class mechanism for Moby

  1999cited by this paper
• The Java Language Specification

  1996cited by this paper
• Catching bugs in the web of program invariants

  1996cited by this paper
• LCLint: a tool for using specifications to check code

  1994cited by this paper
• Definition of standard ML

  1990cited by this paper
• Abstraction and specification in program development

  1988cited by this paper

• Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions

  2024cites this paper
• On Leveraging Tests to Infer Nullable Annotations

  2023cites this paper
• Usability-Oriented Design of Liquid Types for Java

  2023cites this paper
• Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents

  2023cites this paper
• Containerless Plurals: Separating Number from Type in Object-Oriented Programming

  2022cites this paper
• The Principles of the Flix Programming Language

  2022cites this paper
• A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model

  2022cites this paper
• Language Design Meets Verifying Compilers (Keynote)

  2022cites this paper
• Wildcards need witness protection

  2022influential citation
• Verifying Whiley Programs with Boogie

  2022cites this paper
• Relational nullable types with Boolean unification

  2021cites this paper
• Safe object initialization, abstractly

  2021cites this paper
• User-driven Design and Evaluation of Liquid Types in Java

  2021cites this paper
• Safe initialization of objects

  2020cites this paper
• Putting the semantics into semantic versioning

  2020cites this paper
• Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

  2020cites this paper
• Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

  2020influential citation
• A type-and-effect system for object initialization

  2020cites this paper
• Blame for Null

  2020cites this paper
• A reduction semantics for direct-style asynchronous observables

  2019cites this paper
• Dependency Versioning in the Wild

  2019cites this paper
• NullAway: practical type-based null safety for Java

  2019cites this paper
• Scala with Explicit Nulls

  2019cites this paper
• On declarative rewriting for sound and complete union, intersection and negation types

  2019cites this paper
• An Introduction to Software Verification with Whiley

  2018cites this paper
• Contributions to Declarative Implementation of Static Program Analysis

  2018cites this paper
• Dependent Types for Class-based Mutable Objects

  2018cites this paper
• Towards compilation of an imperative language for FPGAs

  2018cites this paper
• Granullar: gradual nullable types for Java

  2017cites this paper
• Detecting Full Initialization Points of Objects to Support Code Refactorings

  2017cites this paper
• Empirically-Grounded Construction of Bug Prediction and Detection Tools

  2017cites this paper
• Adding dependent types to class-based mutable objects

  2017cites this paper
• Practical Void Safety

  2017cites this paper
• К критериям оценки безопасности нулевых ссылок при инициализации объекта

  2017influential citation
• A Modular Approach to Object Initialization for Pharo. (Une approche modulaire de l'initialisation d'objets pour Pharo)

  2017cites this paper
• Null safety benchmarks for object initialization

  2017cites this paper
• Rewriting for sound and complete union, intersection and negation types

  2017cites this paper
• A Conservative Type System Based on Fractional Permissions

  2016cites this paper
• Inference and Checking of Object Immutability

  2016cites this paper
• Semantic subtyping for imperative object-oriented languages

  2016cites this paper
• Tracking Null Checks in Open-Source Java Systems

  2016cites this paper
• Verification of Communication in Web Applications

  2016cites this paper
• Exploiting array manipulation habits to optimize garbage collection and type flow analysis

  2015cites this paper
• Automated refactoring to the Null Object design pattern

  2015cites this paper
• Concepts of Object-Oriented Programming

  2015cites this paper
• Casper: Automatic tracking of null dereferences to inception with causality traces

  2015cites this paper
• Designing a verifying compiler: Lessons learned from developing Whiley

  2015cites this paper
• Evidence-based programming language design : a philosophical and methodological exploration

  2015cites this paper
• An inference and checking framework for context-sensitive pluggable types

  2014cites this paper
• SawjaCard: A Static Analysis Tool for Certifying Java Card Applications

  2014cites this paper
• On the use of type predicates in object-oriented software: the case of smalltalk

  2014influential citation
• 2 A Brief Overview of Object-Z and Spec #

  2014cites this paper
• The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study

  2014cites this paper
• Multitudes of Objects: First Implementation and Case Study for Java

  2014cites this paper
• Does return null matter?

  2014cites this paper
• Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation

  2014cites this paper
• A generic static analyzer for multithreaded Java programs

  2013cites this paper
• Detecting Null-dereference Bugs via a Backward Analysis

  2013cites this paper
• Certification of static analysis in many-sorted first-order logic. (Analyse statique certifiée en logique du premier ordre multi-sortée)

  2013cites this paper
• A calculus for constraint-based flow typing

  2013cites this paper
• Sound and Complete Flow Typing with Unions, Intersections and Negations

  2013cites this paper
• Location Types for Safe Programming with Near and Far References

  2013cites this paper
• Reflections on Verifying Software with Whiley

  2013cites this paper
• Self-construction in the context of cortical growth

  2013cites this paper
• Result Certification of Static Program Analysers with Automated Theorem Provers

  2013influential citation
• Immutability

  2013cites this paper
• Formal Techniques for Safety-Critical Systems

  2013cites this paper
• Whiley : a Language Combining Flow-Typing with Updateable Value Semantics

  2012cites this paper
• Gradual Ownership Types

  2012cites this paper
• Analyse simple de types dans les tableaux et optimisation du ramasse-miettes.

  2012cites this paper
• Inference of Necessary Field Conditions with Abstract Interpretation

  2012cites this paper
• Inference and checking of context-sensitive pluggable types

  2012influential citation
• Object Initialization in X10

  2012cites this paper
• Modular and verified automatic program repair

  2012cites this paper
• Toward a Verified Software Toolchain for Java

  2012cites this paper
• Operational Aspects of Type Systems: Inter-Derivable Semantics of Type Checking and Gradual Types for Object Ownership (Operationele aspecten van typesystemen: onderling afleidbare semantieken van typecontrole en graduele types voor object eigendom)

  2012cites this paper
• Language and Framework Support for Reviewably-Secure Software Systems

  2012cites this paper
• Support for Non-Null Types in Java

  2011influential citation
• A Programming Model and Language for Concurrent and Distributed Object-Oriented Systems

  2011cites this paper
• Project-Team celtique Software certification with semantic analysis

  2011cites this paper
• Some Measurements of Nullable and Non-Nullable Parameter Declarations in Relation to Software Malleability

  2011cites this paper
• Precise null-pointer analysis

  2011cites this paper
• Freedom before commitment: a lightweight type system for object initialisation

  2011cites this paper
• Implementing statically typed object-oriented programming languages

  2011cites this paper
• Alternate annotation checkers using fractional permissions

  2011cites this paper
• Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine

  2011cites this paper
• Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk)

  2011cites this paper
• Secure the Clones - Static Enforcement of Policies for Secure Object Copying

  2011cites this paper
• Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction

  2011cites this paper
• An Overview of the Next Scripting Toolkit

  2011cites this paper
• Formalisation and implementation of an algorithm for bytecode verification of @NonNull types

  2011influential citation
• Freedom Before Commitment Simple Flexible Initialisation for Non-Null Types

  2011influential citation
• Location Types for Safe Distributed Object-Oriented Programming

  2011cites this paper
• Capturing and exploiting abstract views of states in OO verification

  2011cites this paper
• A modular and symbolic approach to static program analysis

  2011cites this paper
• Region logic: local reasoning for java programs and its automation

  2011cites this paper
• Implementing a Language with Flow-Sensitive and Structural Typing on the JVM

  2011cites this paper
• Inference of field initialization

  2011cites this paper
• Specification and verification

  2011cites this paper
• Class properties for security review in an object-capability subset of Java: (short paper)

  2010cites this paper