Course Literature

Book cover

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. In addition: some hand-written slides on axiomatic semantics and verification condition generation (see outline, part III). Additional reading for the curious student:

* a paper by Freund and Mitchell formalizing the Java Virtual Machine and Language, thus providing an abstract machine semantics for the Java bytecode language JVML.