Teorie programovacích jazyků

Garant předmětu:

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra počítačů

Anotace:

Úvod do teorie programovacích jazyků, především do formální sémantiky a typových systémů.

Požadavky:

Osnova přednášek:

1. Úvod do operační sémantiky

2. Úvod do typování

3. Sémantika a typování jednoduchého imperativního jazyka

4. Vlastnosti sémantik a přepisovacích relací

5. Důkazy vlastností

6. Jednoduché typy

7. Rekurzivní typy, podtypový a parametrický polymorfismus

8. Featherweight Java

9. Lambda kalkulus

10. Lambda kalkulus 2

11. Denotační sémantika, relační algebra

12. Jména a stav

13. Tok programu a data

14. Abstraktní typy, monády

Osnova cvičení:

Cíle studia:

Studijní materiály:

F. Turbak et al.: Design Concepts in Programming Languages

Poznámka:

Další informace:

https://edux.feld.cvut.cz/courses/A4M36TPJ/

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů: