Teorie programovacích jazyků

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra počítačů

Anotace:

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

Požadavky:

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

Osnova přednášek:

Operational Semantics

Denotational Semantics

Fixed Points

State

Data

Types

Polymorphism

Type Reconstruction

Osnova cvičení:

Operational Semantics

Denotational Semantics

Fixed Points

State

Data

Types

Polymorphism

Type Reconstruction

Cíle studia:

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

Studijní materiály:

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

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů: