Documents >> DEA - Lotrec, un outil javanais de traitement formel sur les graphes
Index - David Fauthoux

 

DEA - Lotrec, un outil javanais de traitement formel sur les graphes
2000/06/03
David Fauthoux
Lotrec s'inscrit dans un projet d'ouverture aux traitements formels divers sur les graphes, la fondation du projet étant la méthode des tableaux. Il se distingue par la liberté de description du calcul, et il offre une maîtrise du calcul par structures. Ainsi, l'outil se veut prêt à accueillir toutes sortes de logiques en développant la construction de leurs modèles.
 
>> Télécharger >>