ESC/Java: Difference between revisions

Revision as of 06:56, 10 August 2016

Revision as of 06:57, 10 August 2016

Line 30:

== External links ==

* [http://www.hpl.hp.com/downloads/crl/jtk/ Java Programming Toolkit Source Release]

* [http://web.archive.org/web/{{wayback|date=20051208055447/|url=http://research.compaq.com/SRC/esc/ |Extended Static Checking for Java] from the [[Internet Archive]]}}

* [http://www.kindsoftware.com/products/opensource/ESCJava2/ ESC/Java2 at KindSoftware]

* [ftp://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/{{wayback|date=20010228175138/|url=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.