Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson,
James B. Saxe and Raymie Stata.
Extended Static Checking for Java.
In Proceedings of the ACM SIGPLAN 2002 Conference on Programming
Language Design and Implementation, Berlin, June 2002.
ACM.
More information about Extended Static Checking for Java
can be found here.
To run escjava simply type
/cs/fac/src/escjava/bin/escjava.new
(it will be moved to a different directory in the near future).