IP4562 - Théorie des langages et de leur Compilation

Vous êtes ici :

IP4562 - Théorie des langages et de leur Compilation

Objectifs

Objectif général :

Décrire les modèles et algorithmes utilisés en informatique pour représenter et effectuer des calculs à partir de séquences finies de symboles

Objectifs détaillés :

Décrire les différents modèles de calcul ainsi que leurs avantages et limitations
Décrire les phases successives de la compilation d'un programme
Analyser la sémantique d'un programme à l'aide de méthodes formelles

Volume horaire (h)

  • Cours magistraux : 10

Examens

Nombre total d'heures d’évaluation : 2

Ce cours fait partie de la formation

En bref

Crédits ECTS : Cf UE

Nombre d'heures 12

Contact(s)

Cyril ALLIGNOL

Tél : +33 5 62 25 95 77

Email : allignol @ recherche.enac.fr

Jean-Baptiste GOTTELAND

Tél : +33 5 62 25 95 84

Email : jean-baptiste.gotteland @ enac.fr