Programowanie (M)

Literatura

Do każdego wykładu podana jest literatura obowiązkowa, jak również materiał dodatkowy, pogłębiający temat wykładu. Oficjalnym podręcznikiem do przedmiotu Programowanie (M) jest książka Semantics with Applications: A Formal Introduction, którą można traktować jako notatki do większości wykładów, a także jako ich uzupełnienie i rozszerzenie.

Podręcznik

[NN] Semantics with Applications: A Formal Introduction, H. R. Nielson, F. Nielson

Literatura uzupełniająca

[Pit] Semantics of Programming Languages, A. M. Pitts
[Hen] Semantics of Programming Languages, M. Hennessy
[Har] Practical Foundations for Programming Languages, R. W. Harper
[Win] The Formal Semantics of Programming Languages: An Introduction, G. Winskell, The MIT Press, 1993.