UE Conception de Langages -- Octobre 2007
Fichier: LISEZMOI

Application 'sem'
=================

 Evaluateur pour les programmes d'un langage fonctionnel
 et impératif basé sur leur sémantique dénotationnelle. 
 Le langage est décrit dans la documentation contenue
 dans le fichier reference.pdf.

Fichiers sources composant l'application
========================================

 lb_type.ml
 lb_eval.ml 

 lb_utils.ml

 lsrc_ast.ml
 lsrc_lexer.mll
 lsrc_parser.mly
 lsrc_sem.ml
 sem.ml

Documentation
=============

 ce fichier (LISEZMOI)
 reference.pdf

Fichiers d'exemples du langage traité
=====================================

 ex*.src

Compilation de l'application
============================

 L'application est développée en ocaml. Sa compilation nécessite que soient
 installés:
   ocamlc
   ocamlyacc
   ocamllex

 Voir le fichier Makefile pour plus de détail.

 Pour obtenir l'exécutable (ocamlrun byte-code) sem, tapez:

   make sem

 Pour détruire les fichiers intermédiaires engendrés lors de la compilation,
 tapez:
   
   make clean

 Pour ne conserver que les sources, tapez

   make cleanall

Utilisation
===========

 ./sem <fichier_source>