Teorie programovacích jazyků

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ů.

Požadavky:

1. Přečtení vybraných kapitol učebnice

2. Vypracování doporučených příkladů

3. Test uprostřed semestru

4. Semestrální práce

5. Zkouška

Osnova přednášek:

1. Syntax

2. Operační sémantika malého kroku

3. Operační sémantika velkého kroku

4. Denotační sémantika

5. Pevný bod funkce

6. Jména

7. Stav

8. Tok programu

9. Data

10. Typy

11. Polymorfismus

12. Rekonstrukce typů

13. Abstraktní typy

14. Moduly

15. Efekty

Osnova cvičení:

1. Syntax

2. Operační sémantika malého kroku

3. Operační sémantika velkého kroku

4. Denotační sémantika

5. Pevný bod funkce

6. Jména

7. Stav

8. Tok programu

9. Data

10. Typy

11. Polymorfismus

12. Rekonstrukce typů

13. Abstraktní typy

14. Moduly

15. Efekty

Cíle studia:

Studijní materiály:

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

A. Igarashi et al.: Featherweight Java

Webová stránka předmětu: http://moon.felk.cvut.cz/~pisem1/doku.php?id=plt

Poznámka:

Rozvrh na zimní semestr 2011/2012:

	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 KN:E-107 Píše M. 11:00–12:30 (přednášková par. 1) Karlovo nám. Zengerova posluchárna K1místnost KN:E-128 Píše M. 12:45–14:15 (přednášková par. 1 paralelka 101) Karlovo nám. Cvičebna K3místnost KN:E-128 Píše M. 14:30–16:00 (přednášková par. 1 paralelka 102) Karlovo nám. Cvičebna K3
Út
St
Čt
Pá

Rozvrh na letní semestr 2011/2012:

Rozvrh není připraven

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