Subject description - AD4M36TPJ
Summary of Study |
Summary of Branches |
All Subject Groups |
All Subjects |
List of Roles |
Explanatory Notes
Instructions
AD4M36TPJ | Programming Languages Theory | ||
---|---|---|---|
Roles: | Extent of teaching: | 14KP+6KC | |
Department: | 13136 | Language of teaching: | CS |
Guarantors: | Completion: | Z,ZK | |
Lecturers: | Credits: | 6 | |
Tutors: | Semester: | Z |
Web page:
https://edux.feld.cvut.cz/courses/A4M36TPJ/Anotation:
Úvod do teorie programovacích jazyků, především do formální sémantiky a typových systémů.Course outlines:
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 |
Exercises outline:
Literature:
F. | Turbak et al.: Design Concepts in Programming Languages |
Requirements:
Subject is included into these academic programs:Program | Branch | Role | Recommended semester |
Page updated 19.4.2024 11:51:28, semester: Z/2023-4, Z/2024-5, L/2023-4, Send comments about the content to the Administrators of the Academic Programs | Proposal and Realization: I. Halaška (K336), J. Novák (K336) |