Sébastien Doeraene
Chargé de cours
sebastien.doeraene@epfl.ch +41 21 693 53 51 https://lampwww.epfl.ch/~doeraene/
Nationalité: Belgian
Web site: Site web: https://sin.epfl.ch
Domaines de compétences
Language design, compilateurs, machines virtuelles.
Pédagogie en informatique.
Publications
Sélection de publications
| Gery Debongnie, Rapha�l Collet, S�bastien Doeraene, and Peter Van Roy 5th International Workshop on Exception Handling (WEH 12), Zurich, Switzerland, June 9, 2012 |
Modular fault tolerance in a network-transparent language |
Enseignement & Phd
Cours
Foundations of software
Le cours présente les fondements sur lesquels les programmes et les langages de programmation sont construits. Il introduit la syntaxe, les systèmes de typage et la sémantique comme éléments de base qui, ensemble, définissent les propriétés d'une partie du programme ou du langage.