|
 Objectifs
Introduire les théories formelles liées à la définition de la syntaxe et surtout de la sémantique des langages de programmation.
Cahier des charges
Syntaxe :
- notions de syntaxes abstraite et concrète
- formalismes de définition de ces syntaxes
- représentations de textes formels (arbres syntaxiques, graphes).
Sémantique :
- grammaires attribuées
- sémantiques opérationnelles
- sémantiques axiomatiques à la Hoare
- sémantique dénotationnelle et théorie du point fixe.
Résumé
La maîtrise des formalismes de description de systèmes complexes est essentielle en informatique. Dans ce cours, les systèmes complexes à décrire sont eux-mêmes des langages formels. Le but du cours est d'amener les étudiants à comprendre et maîtriser les bases des formalismes les plus courants (méta-langages) utilisés pour définir les langages formels, plus précisément les langages algorithmiques de programmation.
Autres informations du cahier des charges
INGI 2650 : Structure des langages algorithmiquesLivre de référence : B.Meyer, Introduction to the Theory of Programming Languages, Prentice-Hall, 1990.
Le cours INGI2655 est mentionné dans les programmes suivants :
FSA3DS Programme conduisant au grade de diplômé d'études spécialisées en sciences appliquées
INFO2 Ingénieur civil informaticien
|
