LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav08:general_information [2009/02/16 14:15]
vkuncak
sav08:general_information [2009/02/16 14:16]
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 excellent slides ​that come with the book]]+  * [[http://​www2.imm.dtu.dk/​~riis/​PPA/​ppasup2004.html|the web site]] with  
 +     ​* ​excellent slides 
 +     * automated generator for program analyzers
  
 [[:Gallier Logic Book]] is a good theoretical foundation of logic (available online), some of whose sections will be useful. ​ More discrete math online is in [[http://​www.cis.upenn.edu/​~jean/​gbooks/​discmath.html|Gallier Discrete Math Book]] Draft. [[:Gallier Logic Book]] is a good theoretical foundation of logic (available online), some of whose sections will be useful. ​ More discrete math online is in [[http://​www.cis.upenn.edu/​~jean/​gbooks/​discmath.html|Gallier Discrete Math Book]] Draft.