Revision as of 01:19, 17 November 2016 edit GreenC bot (talk \| contribs) Bots 3,054,783 edits m 2 archive templates merged to {{webarchive}} (WAM) ← Previous edit		Revision as of 01:28, 17 November 2016 edit undo GreenC (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers, Template editors 135,859 edits →External links Next edit →
Line 30: == External links == * [http://www.hpl.hp.com/downloads/crl/jtk/ Java Programming Toolkit Source Release] * {{webarchive \|url=https://web.archive.org/web/~~Extended Static Checking for Java~~20051208055447/http://research.compaq.com/SRC/esc/ \|title=Extended Static Checking for Java \|date=December 8, 2005}} * [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] * {{webarchive \|url=https://web.archive.org/web/~~Extended Static Checking Modula-3~~20010228175138/http://research.compaq.com/SRC/esc/escm3/download.html \|title=Extended Static Checking Modula-3 \|date=February 28, 2001}} * [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