Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2020/2021

Modelování programovacích jazyků

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
NI-MPJ Z,ZK 5 2P+1C anglicky
Přednášející:
Ryan Michael Culpepper
Cvičící:
Ryan Michael Culpepper
Předmět zajišťuje:
katedra teoretické informatiky
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.

Požadavky:
Osnova 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).

Osnova cvičení:
Cíle studia:
Studijní materiály:

Matthias Felleisen, Robert Bruce Findler and Matthew Flatt: Semantics Engineering with PLT Redex, The MIT Press, 2009

Poznámka:

Informace o předmětu a výukové materiály naleznete na

Rozvrh na zimní semestr 2020/2021:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
místnost T9:302
Culpepper R.
14:30–16:00
(přednášková par. 1)
Dejvice
NBFIT učebna
místnost T9:348
Culpepper R.
16:15–17:45
LICHÝ TÝDEN

(přednášková par. 1
paralelka 101)

Dejvice
NBFIT PC ucebna
Út
St
Čt

Rozvrh na letní semestr 2020/2021:
Rozvrh není připraven
Předmět je součástí následujících studijních plánů:
Platnost dat k 21. 1. 2021
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet6082006.html