Compilateur d'un micro-langage de programmation
| Nom des fichiers | Description sommaire |
| Makefile | Makefile permettant de tout bien compiler |
| aintv.ml aintv.mli | Interpréteur |
| analyse.ml analyse.mli | Analyse de nécessité |
| ci.ml ci.mli | Interpréteur du code compilé |
| compile.ml compile.mli | Production de code |
| graphe.ml graphe.mli | Module de calcul sur les graphes |
| print.ml print.mli prog.ml prog.mli | Pretty printer du code source |
| typage.ml typage.mli | Typeur |
| verif.ml verif.mli | Vérification de contexte |
| runvhc.ml | Programme principal |
| lexervhc.mll | Analyseur lexical |
| parservhc.mly | Analyseur syntaxique |
Tout télécharger : (ZIP) (TAR.GZ)