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 28.3.2024 17:52:49, 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)