ENSIIE UEVE
|
Analyse statique par interprétation abstraiteCours du master M2 MOPS de l'Université d'Évry Val d'Essonne
|
|
Fichiers Caml à utiliser pour le TP noté:
| parser.mly | fichier OcamlYacc | ocamlyacc parser.mly |
| lexer.mll | fichier OcamlLex | ocamllex lexer.mll |
| lang.ml | syntaxe abstraite du langage analysé (et affichage des arbres de syntaxe abstraite) | |
| main.ml | ||
| int_abs.ml | FICHIER A COMPLÉTER | ocamlc -o anastat lang.ml parser.mli parser.ml lexer.ml int_abs.ml main.ml |
La bibliothèque Caml relative aux listes.