Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav08:general_information [2009/02/16 14:15] vkuncak |
sav08:general_information [2009/02/16 14:15] 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. |