IImplémentation d'une librairie OCAML pour le calcul des substitutions B
COLIN ; PETIT ; DUBOIS
Type de document
RAPPORT DE STAGE
Langue
francais
Auteur
COLIN ; PETIT ; DUBOIS
Résumé / Abstract
Etude et réalisation d'une librairie logicielle implémentant les bases du calcul sur les substitutions généralisées définies par Jean-Raymond Abrial dans le 'b book'. Ce développement utilise le langage fonctionnel OCAMl (INRIA). (étude encadrée par G. Mariano - resp. INRETS-ESTAS et V. Poirriez - UVHC).
