Revision as of 03:43, 7 August 2023 edit Citation bot (talk \| contribs) Bots 5,872,276 edits Alter: title. Add: date, chapter. Removed parameters. Some additions/deletions were parameter name changes. \| Use this bot. Report bugs. \| Suggested by Headbomb \| Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 \| #UCB_webform_linked 683/2306 ← Previous edit		Revision as of 06:44, 8 August 2023 edit undo Headbomb (talk \| contribs) Edit filter managers, Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 473,712 edits m →Further reading: clean up Tag: AWB Next edit →
Line 19: ==Further reading== {{cite book \|author1=Cormac Flanagan \|author2=K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata\|title=Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation \|chapter=Extended static checking for Java ~~\|date=2002~~ \|year=2002\|page=234\|doi=10.1145/512529.512558\|isbn=978-1581134636\|s2cid=47141042 }} {{cite book\|last1=Babic\|first1=Domagoj\|first2=Alan J. \|last2=Hu\|title=Proceedings of the 13th international conference on Software engineering - ICSE '08 \|chapter=Calysto ~~\|date=2008~~ \|year=2008\|page=211\|doi=10.1145/1368088.1368118\|isbn=9781605580791\|s2cid=62868643 }} {{cite book\|last=Chess\|first=B.V.\|title=Proceedings 2002 IEEE Symposium on Security and Privacy \|year=2002\|chapter=Improving computer security using extended static checking\|pages=160–173\|doi=10.1109/SECPRI.2002.1004369\|isbn=978-0-7695-1543-4\|citeseerx=10.1.1.15.2090\|s2cid=12067758 }} {{cite journal\|last1=Rioux\|first1=Frédéric\|first2=Patrice \|last2=Chalin\|year=2006\|title=Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study\|journal=Electronic Notes in Theoretical Computer Science\|volume=157\|issue=2\|pages=119–132\|issn=1571-0661\|doi=10.1016/j.entcs.2005.12.050\|doi-access=free}} {{cite journal\|last1=James\|first1=Perry R.\|first2=Patrice \|last2=Chalin\|year=2009\|title=Faster and More Complete Extended Static Checking for the Java Modeling Language\|journal=Journal of Automated Reasoning\|volume=44\|issue=1–2\|pages=145–174\|issn=0168-7433\|doi=10.1007/s10817-009-9134-9\|citeseerx=10.1.1.165.7920\|s2cid=14996225 }} {{cite book\|last=Xu\|first=Dana N.\|title=Proceedings of the 2006 ACM SIGPLAN workshop on Haskell ~~\|date=2006~~ \|year=2006\|chapter=Extended static checking for haskell\|page=48\|doi=10.1145/1159842.1159849\|isbn=978-1595934895\|citeseerx=10.1.1.377.3777\|s2cid=1340468 }} {{cite book\|last=Leino\|first=K. Rustan M.\|chapter=Extended Static Checking: A Ten-Year Perspective\|journal=Informatics\|volume=2000\|pages=157–175\|doi=10.1007/3-540-44577-3_11\|year=2001\|series=Lecture Notes in Computer Science\|isbn=978-3-540-41635-7}} {{cite journal\|year=1998\|title=Extended Static Checking\|journal=Compaq SRC Research Report\|issue=159\|first1=David L. \|last1=Detlefs \|first2=K. Rustan M. \|last2=Leino \|first3=Greg \|last3=Nelson \|first4=James B. \|last4=Saxe}}

Extended static checking: Difference between revisions