embed lisp papers in the main list
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 17 May 2009 13:56:06 +0000 (15:56 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 17 May 2009 13:56:06 +0000 (15:56 +0200)
wiki/academia/reading_list.mdwn
wiki/academia/reading_list/on_macros__44___lisp__44___....mdwn [deleted file]

index 0163e49..4a0b12b 100644 (file)
@@ -79,6 +79,12 @@ by Payne
 * *Imposing a memory management discipline on software deployment*, by Dolstra, Visser, de Jonge, in ICSE 2004
 * *A principled approach to operating system construction in Haskell* by Hallgren, Jones, Leslie, Tolmach, ICFP'05
 * *[Abstract Interpretation: a Semantics-Based Tool for Program Analysis](ftp://ftp.diku.dk/diku/semantics/papers/D-58.ps.Z)* by Jones, Nielson, handbook of logic in computer science
+* [modules, macros and lisp](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/chili.ps.gz)
+* [mdules, macros and evaluation](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/modmac2.ps.gz)
+* [Static Analysis for Java Servlets and JSP](http://www.springerlink.com/content/22257382u0u840h6/)
+* [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/)
 
 [[on_macros,_lisp,_...]]
 
diff --git a/wiki/academia/reading_list/on_macros__44___lisp__44___....mdwn b/wiki/academia/reading_list/on_macros__44___lisp__44___....mdwn
deleted file mode 100644 (file)
index 97b9eac..0000000
+++ /dev/null
@@ -1,14 +0,0 @@
-Papers by [Queinnec](http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/q/Queinnec:Christian.html) on Lisp macros' semantics:
-
-* [modules, macros and lisp](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/chili.ps.gz)
-* [mdules, macros and evaluation](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/modmac2.ps.gz)
-
-Specific works on scripting languages:
-
-* [Static Analysis for Java Servlets and JSP](http://www.springerlink.com/content/22257382u0u840h6/)
-
-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/)