Jif Reference Manual




Stephen Chong, Andrew C. Myers, K. Vikram, Lantian Zheng

February 2009

http://www.cs.cornell.edu/jif