Non-null References by Default in Java: Alleviating the Nullity Annotation Burden-Reference-Cited by-同舟云学术

Non-null References by Default in Java: Alleviating the Nullity Annotation Burden

Published:2007 Issue: Volume: Page:227-247
ISSN:0302-9743
Container-title:ECOOP 2007 – Object-Oriented Programming
language:
Short-container-title:

Author:

Chalin Patrice,James Perry R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73589-2_12

Reference48 articles.

1. Barnett, M., DeLine, R., Jacobs, B., Faehndrich, M., Leino, K.R.M., Schulte, W., Venter, H.: The Spec# Programming System: Challenges and Directions. In: International Conference on Verified Software: Theories, Tools, Experiments, Zürich, Switzerland (2005)

2. Lecture Notes in Computer Science;M. Barnett,2004

3. Bloch, J.: Effective Java Programming Language Guide. Addison-Wesley, Reading (2001)

4. Bonniot, D.: Using kinds to type partially-polymorphic methods. Electronic Notes in Theoretical Computer Science 75, 1–20 (2003)

5. Bonniot, D.: The Nice programming language (2005), http://nice.sourceforge.net/

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

1. Wildcards need witness protection;Proceedings of the ACM on Programming Languages;2022-10-31

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

3. Assessing the Type Annotation Burden;IEEE INT CONF AUTOM;2018

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

5. Abstractions for Validation in Action;Formal Methods for Model-Driven Engineering;2012