Předmět je základní jednotka výuky, jejímž prostřednictvím si student osvojí ucelenou část souboru znalostí a dovedností, potřebnou pro zvládnutí studijního oboru/specializace. Za věcný obsah předmětu zodpovídá garant předmětu. Časovou náročnost předmětu zhruba vyjadřuje atribut předmětu rozsah kontaktní výuky. Například rozsah = 2+2 značí, že předmět bude mít týdně dvě hodiny přednášek a dvě hodiny cvičení týdně. Na závěr semestru musí vyučující provést vyhodnocení, nakolik si ten který student osvojil poznatky a dovednosti, kterých měl během výuky nabýt. Jakým způsobem toto hodnocení vyučující provedou určuje atribut způsob zakončení. U předmětu lze definovat, že předmět je zakončen pouze zápočtem(Z), klasifikovaným zápočtem(KZ), pouze zkouškou(ZK), nebo zápočtem a zkouškou(Z,ZK). Náročnost úspěšného absolvování předmětu je vyjádřena ECTS kreditními body. Výuka předmětu probíhá během semestru. Opakovaně se předmět vyučuje vždy v zimním(Z), nebo v letním(L) semestru každého akademického roku. Výjimečně může předmět být nabízen studentům v obou semestrech(Z,L). Za organizační zajištění výuky zodpovídá přiřazená katedra, která zejména vytvoří časový rozvrh předmětu a zajistí pro předmět vyučující. Někteří přednáší a zkouší, jiní vedou cvičení a udělují zápočty.
Obsahová náplň a další organizační informace, týkající se předmětu je popsána pomocí různých popisných textů(anotace, týdenní osnova, literatura, apod.)
$DODATEK_POPIS
| NI-MPJ | Modelování programovacích jazyků | Rozsah kontaktní výuky: | 2P+1C | ||
|---|---|---|---|---|---|
| Vyučující: | Způsob zakončení: | Z,ZK | |||
| Zodpovědná katedra: | 18101 | ECTS Kredity: | 5 | Semestr: | Z |
Anotace:
The analysis, transformation, and code generation processes depend on the semantics of the language; in particular, they are correct if they preserve the semantics of the language. This course explores the semantics of programming languages. The students will learn the language models with emphasis on functional languages, students are expected to understand the basics of the lambda calculus and here get acquainted with the advanced lambda calculus. The students also get hands-on-experience with semantic modeling and execution tools.
Osnovy přednášek:
| 1. | Functional programming with Racket. | |
| 2. | Grammars and pattern matching. | |
| 3. | Reduction relations and evaluation contexts. | |
| 4. | Identifiers, binding, and substitution. | |
| 5. | - | 6. (2) Advanced lambda calculus (call-by-name, call-by-value). |
| 7. | Types: Static checking and soundness. | |
| 8. | Data types. | |
| 9. | Models of state and memory. | |
| 10. | Exceptions and control operators. | |
| 11. | - | 12. (2) Abstract machines. |
| 13. | Hygienic macros (on syntax trees). |
Osnovy cvičení:
| 1. | Grammars and pattern matching in Racket and Redex | |
| 2. | Computation in Redex: metafunctions and reduction relations | |
| 3. | Checking properties of language models | |
| 4. | Type rules and subject reduction | |
| 5. | Extending models of languages | |
| 6. | Correspondence between language models | |
| 7. | Syntactic abstraction in Racket |
Literatura:
| 1. | Felleisen, M. - Findler, R. B. - Flatt, M. : Semantics Engineering with PLT Redex. MIT Press, 2009. ISBN 9780262062756. | |
| 2. | Scott, M. L. : Programming Language Pragmatics (4th Edition). Morgan Kaufmann, 2015. ISBN 9780124104099. |
Požadavky:
BI-PPA nebo nějaké znalosti funkčního programování a matematiky (základní logika, množiny a vztahy)
|
|
Předmět je zahrnut do těchto studijních plánů:
| Stránka vytvořena 19. 4. 2024, semestry: Z/2021-2, Z/2023-4, Z/2022-3, Z/2019-20, Z/2024-5, L/2021-2, L/2020-1, L/2022-3, L/2023-4, Z/2020-1, L/2019-20, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: J. Novák, I. Halaška |