web commit by zack

diff --git a/wiki/academia/reading_list.mdwn b/wiki/academia/reading_list.mdwn
index bff2d53..ee828d6 100644 (file)
--- a/wiki/academia/reading_list.mdwn
+++ b/wiki/academia/reading_list.mdwn
@@ -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