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

IA011 Sémantiky programovacích jazyků

Rozsah

2/1. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: 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.

Rozvrh

St 14:00–16:50 B204

Předpoklady

! I011 Sémantiky progr. jazyků
Předpokladem je znalost základních pojmů teorie množin a formální logiky (pravdivá a dokazatelná tvrzení, odvozovací systémy, korektnost a úplnost odvozovacích systémů, apod.)

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

předmět má 7 mateřských oborů, zobrazit

Cíle předmětu

Úvodní kurs do teorie formálních sémantik programovacích jazyků, pokrývající základní paradigmata (operační, denotační, axiomatická) a vztahy mezi nimi. Okrajově jsou zmíněny další přístupy (temporalní logiky).

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. Ekvivalence sémantik.
• 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. Hoareův odvozovací systém, jeho korektnost a úplnost.
• Temporální logiky, sémantika neukončených a paralelních 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/usr/kucera/teach.html

Další komentáře

Předmět je vyučován každoročně.

• Statistika zápisu (jaro 2007, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2007/IA011