UE Type systems

Code de l'ECUE : SMUFN309

Ce cours donne droit à 3.0 ECTS.

Structure

EUR DS4H

Domaine disciplinaire

Informatique

Lieu d'enseignement

Campus SophiaTech Les Lucioles

Niveau du cours

Master 2

Semestre

Semestre impair

Langue

Anglais

PRESENTATION

The course aims to introduce a family of formal methods to reason about programs. We will focus on type systems that are useful for statically proving the absence of some bad program behaviours.

Responsable(s) du cours

Cinzia Di Giusto

Présentiel

12h de cours magistral
12h de travaux dirigés

PREREQUIS

Pas de prérequis

OBJECTIFS

A la fin de ce cours, je devrais être capable de...

Understand the basics of typed systems and how to build them.

CONTENU

Typed lamda calculus

Aucune description
Properties of typed systems

How to prove essential properties of types systems: subject reduction and progress

Accéder au Syllabus complet (Authentification requise)

Important

Ce syllabus n’a aucune valeur contractuelle. Son contenu est susceptible d’évoluer en cours d’année : soyez attentifs aux dernières modifications.