Jif: Java + information http://www.cs.cornell.edu/jif (2001)

by Andrew C Myers, Nathaniel Nystrom, Lantian Zheng, Steve Zdancewic