Content deleted Content added
Citation bot (talk | contribs) Add: volume, series. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Free computer programming tools | #UCB_Category 19/31 |
GreenC bot (talk | contribs) Rescued 1 archive link; reformat 2 links. Wayback Medic 2.5 per WP:USURPURL and JUDI batch #22ab |
||
Line 33:
* [http://www.hpl.hp.com/downloads/crl/jtk/ Java Programming Toolkit Source Release]
* {{webarchive |url=https://web.archive.org/web/20051208055447/http://research.compaq.com/SRC/esc/ |title=Extended Static Checking for Java |date=December 8, 2005}}
* {{usurped|1=[https://web.archive.org/web/20051231203805/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/20010228175138/http://research.compaq.com/SRC/esc/escm3/download.html |title=Extended Static Checking Modula-3 |date=February 28, 2001}}
* {{usurped|1=[https://web.archive.org/web/20071002143846/http://www.researchchannel.org/prog/displayevent.aspx?rID=2761 Extended Static Checking]}} Computer Science & Engineering Colloquia. University of Washington. 1999.
{{DEFAULTSORT:Esc Java}}
| |||