Subject description - AE4M36TPJ
Summary of Study |
Summary of Branches |
All Subject Groups |
All Subjects |
List of Roles |
Explanatory Notes
Instructions
AE4M36TPJ | Programming Language Theory | ||
---|---|---|---|
Roles: | Extent of teaching: | 2P+2C | |
Department: | 13136 | Language of teaching: | EN |
Guarantors: | Completion: | Z,ZK | |
Lecturers: | Credits: | 6 | |
Tutors: | Semester: | Z |
Web page:
https://edux.feld.cvut.cz/courses/A4M36TPJ/Anotation:
This course introduces students to the main elements of programming language theory, namely formal semantics and type theory.Study targets:
Familiarity with the basic concepts of programming language theory; ability to formally define a (reasonably simple) programming language.Course outlines:
Operational Semantics Denotational Semantics Fixed Points State Data Types Polymorphism Type ReconstructionExercises outline:
Operational Semantics Denotational Semantics Fixed Points State Data Types Polymorphism Type ReconstructionLiterature:
F. | Turbak et al.: Design Concepts in Programming Languages |
Requirements:
Familiarity with the basic notions of predicate logic and set theory.Keywords:
Formal semantics, type theory. Subject is included into these academic programs:Program | Branch | Role | Recommended semester |
Page updated 27.4.2024 17:52:30, semester: Z,L/2023-4, Z/2024-5, Send comments about the content to the Administrators of the Academic Programs | Proposal and Realization: I. Halaška (K336), J. Novák (K336) |