web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Tue, 10 Jun 2008 09:10:41 +0000 (09:10 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Tue, 10 Jun 2008 09:10:41 +0000 (09:10 +0000)
wiki/academia/reading_list/on_macros__44___lisp__44___....mdwn

index 366770e..0e24460 100644 (file)
@@ -11,3 +11,4 @@ Specific works on scripting languages:
 Misc stuff on static analysis which *might* be interesting:
 
 * [Static Analysis of Mega-Programs](http://www.springerlink.com/content/tbylt4jtqql3wne6/)
+* [Applications of Extended Static Checking](http://www.springerlink.com/content/jfa1wvl9jgd1lfge/)