Subject description - A4M36TPJ
Summary of Study |
Summary of Branches |
All Subject Groups |
All Subjects |
List of Roles |
Explanatory Notes
Instructions
A4M36TPJ |
Programming Language Theory |
Roles: | |
Extent of teaching: | 2P+2C |
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ů.
Výsledek studentské ankety předmětu je zde:
A4M36TPJ
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 |
Web předmětu:
https://edux.feld.cvut.cz/courses/A4M36TPJ/
Requirements:
1. | | Matematické myšlení a pracovní znalost základních pojmů diskrétní matematiky |
2. | | Pracovní znalost objektového programování |
Keywords:
Semantics, types, pragmatics.
Subject is included into these academic programs:
Program |
Branch |
Role |
Recommended semester |
Page updated 22.7.2024 17:51:39, semester: Z,L/2024-5, Z,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) |