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 Reconstruction

Exercises outline:

Operational Semantics Denotational Semantics Fixed Points State Data Types Polymorphism Type Reconstruction

Literature:

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 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)