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

index 0e24460..5ee9826 100644 (file)
@@ -12,3 +12,4 @@ 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/)
+* [Precise Analysis of String Expressions](http://www.springerlink.com/content/u0hlt5rf8nr6rnvl/)