trie / size

[Jean-Christophe Filliatre <filliatr@csl.sri.com>]

Hello everybody,

I've just added two small developments on my web page dedicated to
ocaml:

  - An implementation of tries, as a functor taking a map M and
    returning a map over M.key list.

  - A function to compute the size of the memory representation of an
    ocaml value.

Everything is LGPL and available here:

   http://www.lri.fr/~filliatr/software.en.html

Postscript files describing the  implementations are available on that
page, which are  made from the sources using  ocamlweb. In particular,
Patricia  trees ---  which I've  made available  recently ---  are now
fully documented.

-- 
Jean-Christophe Filliatre    

==[ Français ]========================================================

Je viens d'ajouter deux petits développements sur ma page web dédiée à
ocaml : 

  - Une implantation des tries, sous la forme d'une foncteur prenant
    en argument un dictionnaire M et retournant un dictionnaire sur le
    type M.key list

  - Une  fonction  pour  calculer  l'occupation mémoire  d'une  valeur
    ocaml.

Tout est sous licence LGPL et disponible ici :

     http://www.lri.fr/~filliatr/software.fr.html
 
Des fichiers Postscript documentant les implantations sont disponible,
qui  ont  été  engendrés à  partir  du  source  grâce à  ocamlweb.  En
particulier,  les  arbres de  Patricia,  que  j'ai  mis à  disposition
récemment, sont maintenant entierrement documentés.

-- 
Jean-Christophe Filliatre