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

index 3f86098..2b73b3d 100644 (file)
@@ -26,6 +26,7 @@ by Payne
 * *[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
+* *[An Abstract Interpretation-Based Framework for Software Watermarking](http://www.di.ens.fr/~cousot/COUSOTpapers/POPL04.shtml)* by Cousot and Cousot
 
 ### printed