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
This archive was generated by hypermail 2b29 : Sat Jun 03 2000 - 09:39:34 MET DST