Compile-time type-checking for custom type qualifiers in Java

Matthew M. Papi, Mahmood Ali, Michael D. Ernst. Compile-time type-checking for custom type qualifiers in Java. In Gail E. Harris, editor, Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA. pages 723-724, ACM, 2008. [doi]

Authors

Matthew M. Papi

This author has not been identified. Look up 'Matthew M. Papi' in Google

Mahmood Ali

This author has not been identified. Look up 'Mahmood Ali' in Google

Michael D. Ernst

This author has not been identified. Look up 'Michael D. Ernst' in Google