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