Revision as of 10:08, 1 September 2010 edit Cybercobra (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 68,243 edits reclassify ← Previous edit		Revision as of 10:08, 1 September 2010 edit undo Cybercobra (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 68,243 edits mNo edit summary Next edit →
Line 6: Extended Static Checking was pioneered in ESC/Modula-3<ref>An extended Static Checker for Modula-3, K. Rustan M. Leino and Greg Nelson. In Proceedings of the Conference on Compiler Construction, pages 302--305, 1998. doi: http://dx.doi.org/10.1007/BFb0026418</ref> and, later, [[ESC/Java]]. Its roots originate from more simplistic static checking techniques, such as used in [[Lint (software)]] and [[FindBugs]]. A number of other languages have adopted ESC, including [[Spec Sharp\|Spec#]] and [[SPARK (programming language)\|SPARKada]]. However, there is currently no widely used programming language that provides extended static checking. == References ==

Extended static checking: Difference between revisions