trie / size

From: Jean-Christophe Filliatre (filliatr@csl.sri.com)
Date: Fri Jun 02 2000 - 22:55:34 MET DST

  • Next message: Pierre Weis: "Re: CamlTk and LablTk"

    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