Advanced Semantics (ASM)

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, compilation, software verification.

Prerequisites

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

Contenu

  • Denotational semantics.
  • Continuation semantics and CPS programming.
  • Type systems. Correction and inference. Polymorphism. Dependant types.
  • Program logics. Hoare Logic. Separation Logic.

Teacher

David Cachera