Visa version
Version skapad av Dilian Gurov 2017-03-31 09:54
Visa
< föregående
|
nästa >
Jämför
< föregående
|
nästa >
Course Literature
Nielson and Nielson
Semantics with Applications: An Appetizer
Springer-Verlag, 2007, ISBN: 978-1-84628-691-9
Available from Kårbokhandeln at the start of the period, and electronically from the KTH library.
In addition: some hand-written slides on axiomatic semantics and verification condition generation (see outline, part III), and a text explaining the principle of structural induction.
Here are my own LaTeX definitions. Derivation trees I create with the following package.
Additional reading for the curious student: