Security via Type Qualifiers David Walker slides from: Jeff Foster, University of Maryland Work by Alex Aiken, Jeff Foster, Rob Johnson, John Kodumal,
Visualizing Type Qualifier Inference with Eclipse David Greenfieldboyce Jeffrey S. Foster University of Maryland.
Security via Type Qualifiers Jeff Foster University of Maryland Joint work with Alex Aiken, Rob Johnson, John Kodumal, Tachio Terauchi, and David Wagner.