Sémantique des langages informatiques - 2026

Ce cours est une introduction à la sémantique des langages de
programmation en s'appuyant sur les deux approches :

- Sémantique opérationnelle
- Sémantique dénotationnelle