Teorie programovacích jazyků
Předmět není vypsán Nerozvrhuje se
Kód | Zakončení | Kredity | Rozsah | Jazyk výuky |
---|---|---|---|---|
AD4M36TPJ | Z,ZK | 6 | 14+6c | česky |
- Přednášející:
- Michal Píše (gar.)
- Cvičící:
- Michal Píše (gar.)
- 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ů.
Web předmětu: http://moon.felk.cvut.cz/~pisem1/doku.php?id=plt
- Požadavky:
-
Přečtení učebnice
Vypracování doporučených příkladů
Test uprostřed semestru
Semestrální práce
Zkouška
- Osnova přednášek:
-
Syntax
Operational Semantics
Denotational Semantics
Fixed Points
Naming
State
Control
Data
Types
Polymorphism
Type Reconstruction
Abstract Types
Modules
Effects
- Osnova cvičení:
- Cíle studia:
- Studijní materiály:
-
F. Turbak et al.: Design Concepts in Programming Languages
- Poznámka:
- Další informace:
- Pro tento předmět se rozvrh nepřipravuje
- Předmět je součástí následujících studijních plánů: