web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Fri, 6 Jun 2008 09:24:56 +0000 (09:24 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Fri, 6 Jun 2008 09:24:56 +0000 (09:24 +0000)
wiki/academia/reading_list.mdwn

index bff2d53..ee828d6 100644 (file)
@@ -30,6 +30,7 @@ by Payne
 * *Making system configuration more declarative*, in HotOS X, USENIX, June 2005
 * *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
 
 ### printed