LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:general_information [2009/02/16 14:15]
vkuncak
sav08:general_information [2009/02/16 14:16] (current)
vkuncak
Line 47: Line 47:
  
 {{sav08:​nielsonnielsonsemantics.pdf|Nielson,​ Nielson: Semantics with Applications,​ A Formal Introduction}} introduces semantics and its application in analysis. ​ Recommended reading. {{sav08:​nielsonnielsonsemantics.pdf|Nielson,​ Nielson: Semantics with Applications,​ A Formal Introduction}} introduces semantics and its application in analysis. ​ Recommended reading.
-  * [[http://​www2.imm.dtu.dk/​~riis/​PPA/​ppasup2004.html|the web site with +  * [[http://​www2.imm.dtu.dk/​~riis/​PPA/​ppasup2004.html|the web site]] with 
      * excellent slides      * excellent slides
      * automated generator for program analyzers      * automated generator for program analyzers