Syntaxe abstraite typée

TEL :: [tel-00535944, version 1]
http://tel.archives-ouvertes.fr/tel-00535944/fr/
Afin de spécifier le comportement des langages de programmation, de préciser leurs propriétés et de certifier leurs implémentations, on étudie des modèles formels des langages de programmation. L'étude se divise en l'étude de la syntaxe et en celle de la sémantique.
...