I011 Sémantiky programovacích jazyků

Fakulta informatiky
podzim 2000
Rozsah
2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
prof. RNDr. Antonín Kučera, Ph.D. (přednášející)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Antonín Kučera, Ph.D.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Osnova
  • Sémantiky programovacích jazyků, základní paradigmata (operační, denotanční a axiomatická sémantika).
  • Strukturální operační sémantika a její varianty.
  • Denotační sémantika. Pojem CPO, spojité funkce mezi CPO. Věta o pevném bodě a její aplikace, sémantika rekurze. Ekvivalence operační a denotanční sémantiky.
  • Axiomatická sémantika. Hoarův odvozovací systém, jeho korektnost a úplnost.
  • Temporální logiky, sémantika neukončených a programů.
Literatura
  • SCHMIDT, David A. The structure of typed programming languages. Cambridge: MIT Press, 1994, viii, 367. ISBN 0262193493. info
  • WINSKEL, Glynn. The formal semantics of programming languages : an introduction. Cambridge: MIT Press, 1993, xi, 361 s. ISBN 0-262-23169-7. info
Informace učitele
http://www.fi.muni.cz/~tony/I011.html
Další komentáře
Předmět je vyučován každoročně.
Výuka probíhá každý týden.
v r.1999/2000 výjimečně v jarním semestru, jinak v podzimním.
Předmět je zařazen také v obdobích zima 1995, zima 1996, zima 1997, podzim 1998, jaro 2000, podzim 2001.