Practical pluggable types for java
- 20 July 2008
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 2008 international symposium on Physical design - ISPD '08
- p. 201-212
- https://doi.org/10.1145/1390630.1390656
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Type qualifier inference for javaPublished by Association for Computing Machinery (ACM) ,2007
- Object and reference immutability using Java genericsPublished by Association for Computing Machinery (ACM) ,2007
- Pluggable checking and inferencing of nonnull types for Java.The Journal of Object Technology, 2007
- Type-safe modular hash-consingPublished by Association for Computing Machinery (ACM) ,2006
- JavariPublished by Association for Computing Machinery (ACM) ,2005
- Evaluating and tuning a static analysis to find null pointer bugsPublished by Association for Computing Machinery (ACM) ,2005
- A practical type system and language for reference immutabilityPublished by Association for Computing Machinery (ACM) ,2004
- Declaring and checking non-null types in an object-oriented languagePublished by Association for Computing Machinery (ACM) ,2003
- Object equality profilingPublished by Association for Computing Machinery (ACM) ,2003
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002