Matthew M. Papi, Michael D. Ernst. Compile-time type-checking for custom type qualifiers in Java. In Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr., editors, Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. pages 809-810, ACM, 2007. [doi]
@inproceedings{PapiE07,
title = {Compile-time type-checking for custom type qualifiers in Java},
author = {Matthew M. Papi and Michael D. Ernst},
year = {2007},
doi = {10.1145/1297846.1297899},
url = {http://doi.acm.org/10.1145/1297846.1297899},
tags = {Java, type checking, compiler},
researchr = {https://researchr.org/publication/PapiE07},
cites = {0},
citedby = {0},
pages = {809-810},
booktitle = {Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira Lopes and Guy L. Steele Jr.},
publisher = {ACM},
isbn = {978-1-59593-865-7},
}