Advanced Semantics (ASM)

• Official homepage (with schedule)

Description

The objective of this course is to acquire the fundamental concepts and tools for understanding the scene behind programming languages.

Keywords

Semantics, type theory, program logics, software verification, Curry-Howard-Lawvere isomorphism

Prerequisites

An introductive course in logic (with proofs by induction), and operational semantics (as in SOS)

Contenu

• Abstract machines and control operators.
• Program logics. Hoare logics.
• Denotational semantics.
• Type systems. Correction and inference. Polymorphism.
• Meta semantics.

Teacher

Alan Schmitt