Practical pluggable types for Java

ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008

Volumn , Issue , 2008, Pages 201-211

  Papi, Matthew M ^a   Ali, Mahmood ^a   Correa Jr , Telmo Luis ^a   Perkins, Jeff H ^a   Ernst, Michael D ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Annotation; Bug finding; Case study; Compiler; Flow sensitivity; IGJ; Immutable; Intern; Java; Javac; Javari; NonNull; Pluggable type; Polymorphism; Readonly; Type qualifier; Type system; Verification

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERRORS; INFORMATION THEORY; LINGUISTICS; POLYMORPHISM; PROGRAM COMPILERS; SECURITY OF DATA; SEMANTICS; SOFTWARE TESTING; VERIFICATION;

ANNOTATION; BUG FINDING; CASE STUDY; COMPILER; FLOW-SENSITIVITY; IGJ; IMMUTABLE; INTERN; JAVA; JAVAC; JAVARI; NONNULL; PLUGGABLE TYPE; READONLY; TYPE QUALIFIER; TYPE SYSTEM;

JAVA PROGRAMMING LANGUAGE;

EID: 57449116995     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1390630.1390656     Document Type: Conference Paper

References (27)

1. Chris Andreae, James Noble, Shane Markstrum, and Todd Millstein. A framework for implementing pluggable type systems. In OOPSLA, pages 57-74, Oct. 2006.
2. Shay Artzi, Jaime Quinonez, Adam Kieżun, and Michael D. Ernst. A formal definition and evaluation of parameter immutability., Dec. 2007. Under review.
3. Adrian Birka and Michael D. Ernst. A practical type system and language for reference immutability. In OOPSLA, pages 35-49, Oct. 2004.
4. Joshua Bloch. JSR 175: A metadata facility for the Java programming language. http://jcp.org/en/jsr/detail?id=175, Sep. 30, 2004.
5. Patrice Chalin and Perry R. James. Non-null references by default in Java: Alleviating the nullity annotation burden. In ECOOP, pages 227-247, Aug. 2007.
6. Joe Darcy. JSR 269: Pluggable annotation processing API. http://jcp.org/en/jsr/detail?id=269, May 17, 2006. Public review version.
7. Torbjörn Ekman and Görel Hedin. The JastAdd extensible Java compiler. In OOPSLA, pages 1-18, Oct. 2007.
8. Torbjörn Ekman and Görel Hedin. Pluggable checking and inferencing of non-null types for Java. J. Object Tech., 6(9):455-175, Oct. 2007.
9. Arnout F. M. Engelen. Nullness analysis of Java source code. Master's thesis, University of Nijmegen Dept. of Computer Science, Aug. 10 2006.
10. Michael D. Ernst. Annotations on Java types: JSR 308 working document, http://pag.csail.mit.edu/jsr308/, Nov. 12, 2007.
11. Manuel Fänndrich and K. Rustan M. Leino Declaring and checking non-null types in an object-oriented language. In OOPSLA, pages 302-312, Nov. 2003.
12. Jean-Christophe Filliâtre and Sylvain Conchon. Type-safe modular hash-consing. In ML, pages 12-19, Sep. 2006.
13. Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. Extended static checking for Java. In PLDI, pages 234-245, June 2002.
14. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification. Addison Wesley, Boston, MA, third edition, 2005.
15. David Greenfieldboyce and Jeffrey S. Foster. Type qualifier inference for Java. In OOPSLA, pages 321-336, Oct. 2007.
16. David Hovemeyer, Jaime Spacco, and William Pugh. Evaluating and tuning a static analysis to find null pointer bugs. In PASTE, pages 13-19, Sep. 2005.
17. Chris Male and David J. Pearce. Non-null type inference with type aliasing for Java. http://www.mcs.vuw.ac.nz/̃djp/files/MP07.pdf, Aug. 20, 2007.
18. Darko Marinov and Robert O'Callahan. Object equality profiling. In OOPSLA, pages 313-325, Nov. 2003.
19. Shane Markstrum, Daniel Marino, Matthew Esquivel, and Todd Millstein. Practical enforcement and testing of pluggable type systems. Technical Report CSD-TR-080013, UCLA, Apr. 2008.
20. Matthew Papi. Practical pluggable types for Java. Master's thesis, MIT Dept. of EECS, May 2008.
21. Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, and Michael D. Ernst. Pluggable type-checking for custom type qualifiers in Java. Technical Report MIT-CSAIL-TR-2007-047, MIT CSAIL, Sep. 17, 2007.
22. Matthew S. Tschantz. Javari: Adding reference immutability to Java. Technical Report MIT-CSAIL-TR-2006-059, MIT CSAIL, Sep. 5, 2006.
23. Matthew S. Tschantz and Michael D. Ernst. Javari: Adding reference immutability to Java. In OOPSLA, pages 211-230, Oct. 2005.
24. Mandana Vaziri, Frank Tip, Stephen Fink, and Julian Dolby. Declarative object identity using relation types. In ECOOP, Aug. 2007.
25. Peter von der Ahe. JSR 199: Java compiler API. http://jcp.org/en/jsr/ detail?id=199. Dec. 11, 2006.
26. Olivier Zendra and Dominique Colnet Towards safer aliasing with the Eiffel language. In IWAOOS. pages 153-154, June 1999.
27. Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kieżun, and Michael D. Ernst. Object and reference immutability using Java generics. In ESEC/FSE, Sep. 2007.