Sémantique et Traduction des langages

  • See this page in english

    En bref

  • Langue d'enseignement : Français
  • Méthode d'enseignement : En présence
  • Code : N8EN10A

Objectifs

Découvrir,  comprendre et savoir exploiter les outils mathématiques et informatiques nécessaires à la modélisation formelle et l'utilisation dans les outils de programmation de la sémantique des langages informatiques. La matière couvre à la fois les aspects théoriques et pratiques à travers l'exploitation d'outils de l'état de l'art actuel permettant la construction d'outils d'analyse et d'exécution de programmes (interpréteur, compilateur).

Description

Étude théorique et pratique de :

  • Sémantique opérationnelle
  • Sémantique axiomatique
  • Interpréteur
  • Compilateur
  • Analyseur statique
  • Preuve de correction de tels outils

Compétences visées

Modélisation de la sémantique des langages informatiques.

Construction d'outils d'analyse de programmes.

Construction d'outils d'exécution de programmes.

Construction d'outils de traduction de programmes.

Pré-requis nécessaires

Modélisation (voir matière Modélisation de l'UE Modélisation et Programmation)

Automates et Théorie des langages

Session 1 ou session unique - Contrôle des connaissances

ModalitéNatureCoefficientRemarques
CT (contrôle terminal) Oral/Ecrit40%Examen Sémantique et Traduct° langages
CC (contrôle continu) Projet20%Projet Sémantique et Traduction
CC (contrôle continu) Bureau d'Etudes40%BE-Sémentique & Traduct° Langages

Session 2 - Contrôle des connaissances

ModalitéNatureCoefficientRemarques
CT (contrôle terminal) Oral/Ecrit40%Examen Sémantique et Traduct° langages
CC (contrôle continu) Projet20%Projet Sémantique et Traduction
CC (contrôle continu) Bureau d'Etudes40%BE-Sémentique & Traduct° Langages

Contact(s)

PANTEL MARC

Lieu(x)

  • Toulouse

Contactez l’ENSEEIHT

L’École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications

2, rue Charles Camichel - BP 7122
31071 Toulouse Cedex 7, France

+33 (0)5 34 32 20 00

Certifications

  • Logo MENESR
  • Logo UTFTMP
  • Logo INP
  • Logo INPT
  • Logo Mines télécoms
  • Logo CTI
  • Logo CDEFI
  • Logo midisup