TY - CONF T1 - Type qualifier inference for Java T2 - ACM SIGPLAN Notices Y1 - 2007 A1 - Greenfieldboyce,D. A1 - Foster, Jeffrey S. JA - ACM SIGPLAN Notices VL - 42 ER -