Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel ocamlgraph
ocamlgraph - bibliothèque de graphes pour Ocaml
Date de dernière version : 04 février 2014

Responsable : FILLIÂTRE Jean-Christophe


Ocamlgraph est une bibliothèque de graphes pour Objective Caml. Elle fournit de nombreuses structures de données de graphes (tant impératives que persistantes) et de nombreux algorithmes. Structures de données et algorithmes sont fournis indépendamment, grâce au système de modules d\'Ocaml.

Pour en savoir plus: http://ocamlgraph.lri.fr/

Logiciel - Licence : LGPL



Activités de recherche

Membres
  FILLIÂTRE Jean-Christophe
  CONCHON Sylvain

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Equipe-projet Inria
  Toccata
Logiciels et brevets
SMARTIES
The Smarties Input System

PINT
Static analyzer for dynamics of Automata Networks

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes