Jif: Java + information flow. Software release. Located at http://www.cs.cornell.edu/jif (2001)

by A C MYERS, N NYSTROM, L ZHENG, S ZDANCEWIC