Programmes d'études
Éléments de langages et compilateurs

Programmes d'études
Éléments de langages et compilateurs
Programmes d'études
Détails et horaire du cours
Légende
Cours de jour
Cours de soir
Cours en ligne
Certificats et microprogrammes de 1er cycle
Baccalauréat (formation d'ingénieur)
Études supérieures
LOG3210
Éléments de langages et compilateurs
Nombre de crédits :
3 (3 - 1.5 - 4.5)
Les chiffres indiqués entre parenthèses sous le sigle du cours, par exemple (3 - 2 - 4), constituent le triplet horaire.
Le premier chiffre est le nombre d'heures de cours théorique par semaine (les périodes de cours durent 50 minutes).
Le second chiffre est le nombre d'heures de travaux dirigés (exercices) ou laboratoire, par semaine.
(Note : certains cours ont un triplet (3 - 1.5 - 4.5). Dans ce cas, les 1,5 heure par semaine sont des laboratoires qui durent 3 heures mais qui ont lieu toutes les deux semaines. À Polytechnique, on parle alors de laboratoires bi-hebdomadaires).
Le troisième chiffre est un nombre d'heures estimé que l'étudiant doit investir de façon personnelle par semaine pour réussir son cours.
Le premier chiffre est le nombre d'heures de cours théorique par semaine (les périodes de cours durent 50 minutes).
Le second chiffre est le nombre d'heures de travaux dirigés (exercices) ou laboratoire, par semaine.
(Note : certains cours ont un triplet (3 - 1.5 - 4.5). Dans ce cas, les 1,5 heure par semaine sont des laboratoires qui durent 3 heures mais qui ont lieu toutes les deux semaines. À Polytechnique, on parle alors de laboratoires bi-hebdomadaires).
Le troisième chiffre est un nombre d'heures estimé que l'étudiant doit investir de façon personnelle par semaine pour réussir son cours.
Département :
Génies informatique & logiciel
Corequis :
Notes :
Responsable(s) :
Ettore Merlo
Description
Introduction à l'analyse de programmes en langages évolués, aux grammaires et aux langages. Analyse structurelle : analyse syntaxique, arbre d'appels des procédures et graphes de flux de contrôle. Introduction et fondements théoriques en analyse statique de flux : théorie des graphes et algorithmes, ordre partiel, treillis, analyse de flux. Analyses élémentaires : définitions, variables vives, expressions disponibles, propagation de copies, initialisation des variables et paramètres, détection des instructions inaccessibles ou inutiles, vérification de l'utilisation efficace des variables, propagation des constantes, analyse des pointeurs ou des alias, analyse des dépendances et analyse d'impact en maintenance du logiciel. Analyse dynamique : instrumentation des programmes, tests à boîte blanche, évaluation des performances.
Introduction à l'analyse de programmes en langages évolués, aux grammaires et aux langages. Analyse structurelle : analyse syntaxique, arbre d'appels des procédures et graphes de flux de contrôle. Introduction et fondements théoriques en analyse statique de flux : théorie des graphes et algorithmes, ordre partiel, treillis, analyse de flux. Analyses élémentaires : définitions, variables vives, expressions disponibles, propagation de copies, initialisation des variables et paramètres, détection des instructions inaccessibles ou inutiles, vérification de l'utilisation efficace des variables, propagation des constantes, analyse des pointeurs ou des alias, analyse des dépendances et analyse d'impact en maintenance du logiciel. Analyse dynamique : instrumentation des programmes, tests à boîte blanche, évaluation des performances.
Horaire
Cours | ||||
---|---|---|---|---|
Groupe | Jour | Heure | Local | Enseignant(e)(s) |
01 | Mercredi | 8h30, 9h30, 10h30 | M-1120 | Beddouch, Sara |
Travaux pratiques | ||||
---|---|---|---|---|
Groupe | Jour | Heure | Local | Enseignant(e)(s) |
01 | Mardi | 8h30, 9h30, 10h30 (B1) | L-4714 | Tremblay, Raphaël |
02 | Mardi | 8h30, 9h30, 10h30 (B2) | L-4714 | Guidée, Quentin Marc-Antoine |
Plan triennal
2023-2024 | 2024-2025 | 2025-2026 | ||||||
---|---|---|---|---|---|---|---|---|
Automne | Hiver | Été | Automne | Hiver | Été | Automne | Hiver | Été |
Cours de jour | Cours de jour | - | Cours de jour | Cours de jour | - | Cours de jour | Cours de jour | - |