Analyse de programmes et Langages
dédiés
Description
Analyse de programmes
- Grammaires attribuées
- Vérification de types
- Introduction à l'optimisation de programmes
- Introduction à l'analyse de flot de données
- Quelques problèmes de flots de données
- Optimisation de programmes
Langages dédiés
- Méthodologie de développement de langages de
programmation
- Sémantique dénotationelle
- Contructions de contrôle
- Blocs, types et déclarations
- Introduction aux langages dédiés
- Etude de langages dédiés à divers domaines
- Pilotes de périphériques
- Services de téléphonie
- Ordonnancement de processus
Enseignants
Charles Consel, Laurent Réveillère
Contrôle des connaissances
Examen écrit (2 x 2h)
Veuillez reporter toute erreur ou omission à Olivier Baudon.
Dernière mise à jour effectuée le 24 avril 2004.