Předmět Sémantiky programovacích jazyků (IA011)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu IA011 - Sémantiky programovacích jazyků, Fakulta informatiky, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Ú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).Hlavním cílem kurzu je:osvojit si definice formálních sémantik programovacích jazyků;porozumět rozdílům mezi sémantikami;umět formálně zapsat vlastnosti programů;osvojit si základní znalosti z oblasti temporálních logik.
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. Ekvivalencesé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 aparalelních programů.
Literatura
SCHMIDT, David A. The structure of typed programming languages. Cambridge: MIT Press, 1994. viii, 367. ISBN 0-262-19349-3. infoWINSKEL, Glynn. The formal semantics of programming languages : an introduction. Cambridge: MIT Press, 1993. xi, 361 s. ISBN 0-262-23169-7. info
Požadavky
Předpokladem je znalost základních pojmů teorie množin aformální logiky (pravdivá a dokazatelná tvrzení, odvozovací systémy,korektnost a úplnost odvozovacích systémů, apod.)
Garant
prof. RNDr. Mojmír Křetínský, CSc.
Vyučující
prof. RNDr. Antonín Kučera, Ph.D.Mgr. Bc. Tomáš Janík