Reducing the use of nullable types through non-null by default and monotonic non-null-Reference-Cited by-同舟云学术

Reducing the use of nullable types through non-null by default and monotonic non-null

Published:2008 Issue:6 Volume:2 Page:515
ISSN:1751-8806
Container-title:IET Software
language:en
Short-container-title:IET Softw.

Author:

Chalin P.,James P.R.,Rioux F.

Publisher

Institution of Engineering and Technology (IET)

Subject

Computer Graphics and Computer-Aided Design

Link

https://digital-library.theiet.org/content/journals/10.1049/iet-sen_20080010?crawler=true&mimetype=application/pdf

Reference64 articles.

1. Gosling, J., Joy, B., Steele, G., and Bracha, G.: ‘The Java Language Specification’, 3rd edn.(Addison-Wesley Professional 2005)

2. Evans D.: ‘Annotation-assisted lightweight static checking’. First Int. Workshop on Automated Program Analysis, Testing and Verification, February 2000

3. Evaluating and tuning a static analysis to find null pointer bugs

4. Kiniry, J.R.: ‘ESC/Java2'. http://secure.ucd.ie/products/opensource/ESCJava2, 2005

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability;Sensors;2020-03-30

2. Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability;Computer Information Systems and Industrial Management;2019

3. Harvesting the Wisdom of the Crowd to Infer Method Nullness in Java;2017 IEEE 17th International Working Conference on Source Code Analysis and Manipulation (SCAM);2017-09

4. OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse;Electronic Proceedings in Theoretical Computer Science;2014-04-26

5. Building and using pluggable type-checkers;Proceedings of the 33rd International Conference on Software Engineering;2011-05-21