XP01SPJ | Sémantika programovacích jazyků | Rozsah výuky: | 2+1 | ||
---|---|---|---|---|---|
Přednášející (garant): | Velebil J. | Typ předmětu: | S | Zakončení: | ZK |
Zodpovědná katedra: | 301 | Kreditů: | 3 | Semestr: | Z |
Anotace:
Syntaxe a sémantika formálního jazyka. Jednoduchý imperativní jazyk, příkaz přiřazení. Cykly. Denotační a operační sémantika, věta o koherenci. Matematická teorie domainů. Pevné body funkcionálů, rekursivní definice. Lambda-notace. Jednoduchý funkcionální jazyk, denotační sémantika. Definice nových funkcí, rekursivní konstrukce. Operační sémantika. Jiné přístupy k sémantice, sémantika pokračování. Axiomatická (Hoarova) sémantika. Vyjadřovací schopnost programovacího jazyka.
Literatura Č:
Literatura A:
|
Stránka vytvořena 14. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: I. Halaška (K336), J. Novák (K336) |