Revision as of 18:20, 7 October 2008 edit 129.89.38.197 (talk) →External links: reorganize reference ← Previous edit		Revision as of 18:20, 7 October 2008 edit undo 129.89.38.197 (talk) →External links Next edit →
Line 8: * [http://web.archive.org/web/20051208055447/http://research.compaq.com/SRC/esc/ Extended Static Checking for Java] from the [[Internet Archive]] * [http://kind.ucd.ie/products/opensource/ESCJava2/ ESC/Java2] * [http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-159.html] SRC-RR-159 Extended Static Checking - David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe.] * [http://web.archive.org/web/20010228175138/research.compaq.com/SRC/esc/escm3/download.html Extended Static Checking Modula-3] from the [[Internet Archive]] * [http://www.researchchannel.org/prog/displayevent.aspx?rID=2761&fID=345 Extended Static Checking] Computer Science & Engineering Colloquia. University of Washington. 1999.

ESC/Java: Difference between revisions