|
== References ==
*{{cite Extended Static Checking for Java, Cormac journal|last=Flanagan, |first=Cormac|coauthors=K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe and, Raymie Stata.|year=2002|title=Extended static Inchecking for Java|journal=Proceedings of the [[Conference on Programming Language Design and Implementation]] (PLDI), 2002. |page=234|doi: http://dx.doi.org/=10.1145/512529.512558|first1=Cormac |last1=Flanagan |first2=K. Rustan M. |last2=Leino |first3=Mark |last3=Lillibridge |first4=Greg |last4=Nelson |first5=James B. |last5=Saxe |first6=Raymie |last6=Stata}}
*{{cite journal|last1=Babic|first1=Domagoj|first2=Alan J. |last2=Hu|year=2008|title=Calysto: Scalable and Precise Extended Static Checking, Domagoj Babic and Alan J. Hu. In |journal=Proceedings of the International Conference on Software Engineering (ICSE), 2008. |page=211|doi: http://dx.doi.org/=10.1145/1368088.1368118}}
*{{cite journal|last=Chess|first=B.V.|year=2002|title=Improving Computercomputer Securitysecurity using Extendedextended Static Checking, B. V. Chess. Instatic checking|journal=Proceedings of IEEE Symposium on Security and Privacy, 2002. |pages=160–173|doi: http://dx.doi.org/=10.1109/SECPRI.2002.1004369}}
*{{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, Frédéric Rioux and Patrice Chalin. |journal=Electronic Notes in Theoretical Computer Science, |volume=157(|issue=2):|pages=119–132, 2006. |issn=15710661|doi: http://dx.doi.org/=10.1016/j.entcs.2005.12.050}}
*{{cite journal|last1=James|first1=Perry R.|first2=Patrice |last2=Chalin|year=2009|title=Faster and More Complete Extended Static Checking for the Java ModellingModeling Language, Perry R. James, Patrice Chalin. In |journal=Journal of Automated Reasoning, |volume=44(|issue=1-2):|pages=145–174, 2009. |issn=0168-7433|doi: http://dx.doi.org/=10.1007/s10817-009-9134-9}}
*{{cite Extended Static Checking for Haskell, journal|last=Xu|first=Dana N.|year=2006|title=Extended Xu.static checking Infor haskell|journal=Proceedings of the ACM workshop on Haskell, 2006. |page=48|doi: http://dx.doi.org/=10.1145/1159842.1159849}}
*{{cite journal|last=Leino|first=K. Rustan M.|title=Extended Static Checking: aA Ten-Year Perspective, K Rustan Leino. |journal=Informatics, 2001. |volume=2000|pages=157–175|doi: http://dx.doi.org/=10.1007/3-540-44577-3_11}}
*{{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. Compaq SRC Research Report 159, 1998. }}
{{formalmethods-stub}}
| 