Type qualifier inference for java.

David Greenfieldboyce, Jeffrey S. Foster

Browse the full OOPSLA paper archive.