Conception de langage

Les contrôles

==> ORAL: CHANGEMENT DE SALLE L'oral aura lieu en salle B202 à la Maison de la Pédagogie.

Le projet

Un exemple d'implantation ici.

Sujet: concevoir un petit langage de programmation en posant sa syntaxe et sa sémantique. Implanter une maquette du langage reposant sur l'implantation de la sémantique qui calcule la dénotation des programmes (un lambda-terme) dont l'évaluation est confiée à un évaluateur du lambda-calcul.

Date de rendu: Mercredi 24 Janvier 2007 -- avant minuit.

BONNE ANNÉE je vous ai préparé une petite note de synthèse sur le travail demandé.

Travail demandé:

• un évaluateur d'un lambda-calcul étendu, sur le modèle de celui décrit dans les notes de cours.
• un évaluateur sémantique pour le noyau fonctionnel/impératif du langage que vous déciderez de concevoir. La sortie de l'évaluation sémantique doit être exécutable par l'évaluateur du lambda-calcul.
  Le langage de votre conception, sans avoir besoin d'être trés riche, doit permettre d'y programmer un algorithme de tri des données contenues dans une structure linéaire (liste ou tableau) et d'afficher le résultat obtenu. Le langage fournira également les types de base usuels: entiers, booléens, chaînes de caractères, flottants.
• un analyseur lexical et syntatxique pour votre langage dont la sortie doit être traitable par l'évaluateur sémantique.
• une commande «exec» qui me permette d'exécuter un programme de votre langage. La commande prendra en argument un fichier contenant le source de mon programme de test.
• une «README» et un «Makefile», comme il se doit.
• un manuel de référence (succint mais précis:) de votre langage.

Notes de cours

• Tout est là