Towards Support for Non-null Types and Non-null-by-default in Java

No abstract is available for this paper.

• Publication year

  2006

• Venue

  Unknown venue

• Publication date

  Unknown publication date

• Fields of study

  Not labeled

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Design by Contract with JML

  2006cited by this paper
• Eiffel Analysis, Design and Programming Language

  2005cited by this paper
• Lessons from the JML Project

  2005cited by this paper
• Desugaring JML Method Specifications

  2005cited by this paper
• Evaluating and tuning a static analysis to find null pointer bugs

  2005cited by this paper
• The Spec# Programming System: Challenges and Directions

  2005cited by this paper
• Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification

  2005cited by this paper
• BoogiePL: A typed procedural language for checking object-oriented programs

  2005cited by this paper
• Finding bugs is easy

  2004cited by this paper
• The Spec# Programming System: An Overview

  2004cited by this paper
• An overview of JML tools and applications

  2003cited by this paper
• Declaring and checking non-null types in an object-oriented language

  2003cited by this paper
• JastAdd--an aspect-oriented compiler construction system

  2003cited by this paper
• Using kinds to type partially-polymorphic methods

  2003cited by this paper
• Non-null types in an object-oriented language

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

  2002cited by this paper
• Improving Security Using Extensible Lightweight Static Analysis

  2002cited by this paper
• Java in a nutshell: A desktop quick reference

  1998cited by this paper
• Static detection of dynamic memory errors

  1996influential reference
• The Java Language Specification

  1996cited by this paper
• Using specifications to check source code

  1994cited by this paper
• Larch: Languages and Tools for Formal Specification

  1993cited by this paper
• BOOK REVIEW: ML for the Working Programmer by Laurence C. Paulson: (Cambridge University Press, 429 pp., 1991)

  1992cited by this paper

• Improving the fault resilience of an H.264 decoder using static analysis methods

  2013cites this paper
• High-availability database systems; Evaluation of existing open source solutions

  2012cites this paper
• Unreliable yet useful - reliability annotations for data in cyber-physical systems

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

  2011cites this paper
• Java Bytecode Verification for @NonNull Types

  2008cites this paper
• Reducing the use of nullable types through non-null by default and monotonic non-null

  2008cites this paper
• Non-null References by Default in Java: Alleviating the Nullity Annotation Burden

  2007influential citation
• Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2

  2005cites this paper