Pluggable checking and inferencing of nonnull types for Java

Journal of Object Technology

Volumn 6, Issue 9, 2007, Pages 455-475

  Ekman, Torbjörn ^a   Hedin, Görel ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b LUND UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 36048972694     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2007.6.9.a23     Document Type: Conference Paper

References (25)

1. C. Andreae, J. Noble, S. Markstrum, and T. Millstein. A framework for implementing pluggable type systems. In Proceedings of OOPSLA '06, pages 57-74. ACM Press, 2006.
2. L. Burdy, Y. Cheon, D. Cok, M. D. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. Software Tools for Technology Transfer, 7(3):212-232, June 2005.
3. J. A. Bank, B. Liskov, and A. C. Myers. Paramterized Types and Java. In Proceedings of POPL'97, pages 132-145. ACM Press, 1997.
4. M. Barnett, K. R. M. Leino, and W. Schulte. The Spec# programming system: An overview. In CASSIS 2004, volume 3362 of LNCS. Springer, 2004.
5. D. Bonniot. Why programs written in Nice have less bugs. http://nice.sourceforge.net/safety.html.
6. G. Bracha. Pluggable Type Systems. In OOPSLA '04 workshop on revival of dynamic languages, 2004.
7. P. Chalin and P. James. Non-null References by Default in Java: Alleviat-ing the Nullity Annotation Burden. In Proceedings of ECOOP'07, LNCS. Springer, 2007.
8. B. Chin, S. Markstrum, and T. Millstein. Semantic type qualifiers. In Proceedings of PLDI'05, pages 85-95. ACM Press, 2005.
9. T. Ekman and G. Hedin. The JastAdd compiler compiler system.http:// jastadd.cs.lth.se.
10. T. Ekman and G. Hedin. Rewritable Reference Attributed Grammars. In Proceedings ofECOOP'04, volume 3086 of LNCS. Springer, 2004.
11. T. Ekman and G. Hedin. The JastAdd Extensible Java Compiler. In Proceedings of OOPSLA'07, 2007.
12. J. S. Foster, M. Fähndrich, and A. Aiken. A Theory of Type Qualifiers. In Proceedings of PLDI'99, pages 192-203. ACM Press, 1999.
13. M. Fähndrich and K. R. M. Leino. Declaring and checking non-null types in an object-oriented language. In Proceedings of OOPSLA '03, pages 302-312. ACM Press, 2003.
14. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In Proceedings of PLDI '02, pages 234-245. ACM Press, 2002.
15. G. Hedin. Reference attribute grammars. In Informatica (Slovenia), 24(3), 2000.
16. G. Hedin and E. Magnusson. JastAdd: an aspect-oriented compiler construction system. Science of Computer Programming, 47(1):37-58, 2003.
17. D. Hovemeyer, J. Spacco, and W. Pugh. Evaluating and tuning a static analysis to find null pointer bugs. In Proceedings of PASTE '05, pages 13-19. ACM Press, 2005.
18. D. H. H. Ingalls. A Simple Technique for Handling Multiple Polymorphism. In Proceedings of OOPSLA'86, pages 347-349, 1986.
19. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of Aspectl. In Proceedings of ECOOP'01, volume 2072 of LNCS, pages 327-355. Springer, 2001.
20. D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2): 127-145, June 1968.
21. Correction: Mathematical Systems Theory 5, 1, pp. 95-96 (March 1971).
22. B. Meyer. Attached types and their application to three open problems of object-oriented programming. In Proceedings of ECOOP'05, volume 3586 of LNCS. Springer, 2005.
23. E. Magnusson and G. Hedin. Circular reference attributed grammars - their evaluation and applications. ENTCS, 82(3), 2003.
24. T. Millstein. Practical Predicate Dispatch. In Proceedings of OOPSLA'04, pages 345-364. ACM Press, 2004.
25. N. Nystrom, M. R. Clarkson, and A. C. Myers. Polyglot: An extensible compiler framework for Java. In Proceedings of CC'03, volume 2622 of LNCS, pages 138-152. Springer, 2003.