Extended static checking: Difference between revisions

Revision as of 05:08, 31 August 2010

Revision as of 08:47, 1 September 2010

Line 12:

== References ==

* Extended Static Checking for Java, Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe and Raymie Stata. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI), 2002. doi: http://dx.doi.org/10.1145/512529.512558

* Calysto: Scalable and Precise Extended Static Checking, Domagoj Babic and Alan J. Hu. In Proceedings of the International Conference on Software Engineering (ICSE), 2008. doi: http://dx.doi.org/10.1145/1368088.1368118

* Improving Computer Security using Extended Static Checking, B. V. Chess. In Proceedings of IEEE Symposium on Security and Privacy, 2002. doi: http://dx.doi.org/10.1109/SECPRI.2002.1004369

* Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study, Frédéric Rioux and Patrice Chalin. Electronic Notes in Theoretical Computer Science, 157(2):119–132, 2006. doi: http://dx.doi.org/10.1016/j.entcs.2005.12.050

* Faster and More Complete Extended Static Checking for the Java Modelling Language, Perry R. James, Patrice Chalin. In Journal of Automated Reasoning, 44(1-2):145–174, 2009. doi: http://dx.doi.org/10.1007/s10817-009-9134-9

* Extended Static Checking for Haskell, Dana N. Xu. In Proceedings of the ACM workshop on Haskell, 2006. doi: http://dx.doi.org/10.1145/1159842.1159849

* Extended Static Checking: a Ten-Year Perspective, K Rustan Leino. Informatics, 2001. doi: http://dx.doi.org/10.1007/3-540-44577-3_11

* Extended Static Checking, David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe. Compaq SRC Research Report 159, 1998.