Homolib

From LRDE

Revision as of 17:03, 9 January 2018 by Bot (talk | contribs) (Created page with "{{CSIReportFR | authors = Samuel Charron | titre = Homolib | year = 2008 | resume = Les Diagrammes de Décision sont une famille de structures de données permettant de repré...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Résumé

Les Diagrammes de Décision sont une famille de structures de données permettant de représenter avec peu de mémoire de grands ensembles de données. Ces structures peuvent être de taille fixe (un tuple) ou variable (une liste, un conteneur associatif, ldots), la manipulation du DD ne se faisant pas de la même manière. Les Data Decision Diagrams et Set Decision Diagrams manipulent des données de taille variable grâce à des opérations, les homomorphismes. Cependant la définition d'une opération correcte peut dérouter l'utilisateur, et passe souvent par de nombreuses erreursdifficiles identifier. Ce séminaire propose une bibliothèque dùalgorithmes fournissant une vue plus abstraite que les homomorphismes "bruts" des données manipulées, en reprenant les algorithmes définis dans les modules "List" et "Map" d'Objective Caml. L'utilisateur peut se concentrer sur les parties spécifiques à son problème.