web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Tue, 3 Jun 2008 15:40:46 +0000 (15:40 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Tue, 3 Jun 2008 15:40:46 +0000 (15:40 +0000)
wiki/academia/reading_list.mdwn

index aeed48f..3f86098 100644 (file)
@@ -25,6 +25,7 @@ by Payne
 * *[Rules and Tools for Software Evolution Planning and Management](http://www.springerlink.com/content/l4216085h77324q6/fulltext.pdf)* by Lehman and Ramil
 * *[metrics and laws of software evolution - the nineties view](http://ieeexplore.ieee.org/iel3/5031/13795/00637156.pdf?tp=&arnumber=637156&isnumber=13795)* by Lehman and Ramil
 * *[Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions](http://www.stanford.edu/~engler/mc-osdi.ps)* by Engler et al
+* *[A Portable Compiler-Integrated Approach to Permanent Checking](http://portal.acm.org/citation.cfm?id=1169310)* by Volanschi
 
 ### printed