FI:I011 Sémantiky progr. jazyků - Informace o předmětu

I011 Sémantiky programovacích jazyků

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

• Informatika (program FI, B-IN)
• Informatika (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Výpočetní technika (program FI, B-IN)

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.

• Statistika zápisu (podzim 2000, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2000/I011