Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2019/2020

Programming Language Theory

The course is not on the list Without time-table
Code Completion Credits Range Language
AE4M36TPJ Z,ZK 6 2P+2C
Lecturer:
Tutor:
Supervisor:
Department of Computer Science
Synopsis:

This course introduces students to the main elements of programming language theory, namely formal semantics and type theory.

Requirements:

Familiarity with the basic notions of predicate logic and set theory.

Syllabus of lectures:

Operational Semantics

Denotational Semantics

Fixed Points

State

Data

Types

Polymorphism

Type Reconstruction

Syllabus of tutorials:

Operational Semantics

Denotational Semantics

Fixed Points

State

Data

Types

Polymorphism

Type Reconstruction

Study Objective:

Familiarity with the basic concepts of programming language theory; ability to formally define a (reasonably simple) programming language.

Study materials:

F. Turbak et al.: Design Concepts in Programming Languages

Note:
Further information:
https://edux.feld.cvut.cz/courses/A4M36TPJ/
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2019-10-16
For updated information see http://bilakniha.cvut.cz/en/predmet2230806.html