Revision as of 09:03, 10 July 2017 edit 171.79.77.6 (talk) subcat ← Previous edit		Revision as of 21:30, 31 July 2019 edit undo InternetArchiveBot (talk \| contribs) Bots, Pending changes reviewers 5,678,893 edits Rescuing 1 sources and tagging 0 as dead. #IABot (v2.0beta15) Next edit →
Line 36: * [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}} * [https://web.archive.org/web/20071002143846/http://www.researchchannel.org/prog/displayevent.aspx?rID=2761~~&fID=345~~ Extended Static Checking] Computer Science & Engineering Colloquia. University of Washington. 1999. {{DEFAULTSORT:Esc Java}}

ESC/Java: Difference between revisions