From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA31998 for caml-red; Sat, 3 Jun 2000 09:36:16 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA30431 for <caml-list@pauillac.inria.fr>; Fri, 2 Jun 2000 22:55:38 +0200 (MET DST)
Received: from csla.csl.sri.com (csla.csl.sri.com [192.12.33.2])
	by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e52Ktaf19524
	for <caml-list@inria.fr>; Fri, 2 Jun 2000 22:55:36 +0200 (MET DST)
Received: from cylinder.csl.sri.com (IDENT:filliatr@cylinder.csl.sri.com [130.107.15.112])
	by csla.csl.sri.com (8.9.1/8.9.1) with ESMTP id NAA22650
	for <caml-list@inria.fr>; Fri, 2 Jun 2000 13:55:35 -0700 (PDT)
Received: (from filliatr@localhost)
	by cylinder.csl.sri.com (8.9.3/8.8.7) id NAA30176;
	Fri, 2 Jun 2000 13:55:34 -0700
X-Authentication-Warning: cylinder.csl.sri.com: filliatr set sender to filliatr@cylinder.csl.sri.com using -f
From: Jean-Christophe Filliatre <filliatr@csl.sri.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Message-ID: <14648.8006.320230.332618@cylinder.csl.sri.com>
Date: Fri, 2 Jun 2000 13:55:34 -0700 (PDT)
To: caml-list@inria.fr
Subject: trie / size
X-Mailer: VM 6.62 under Emacs 20.4.1
Reply-To: filliatr@csl.sri.com (Jean-Christophe Filliatre)
Sender: weis


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