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 RAA05494 for caml-redistribution; Mon, 17 May 1999 17:23:30 +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 JAA01135 for ; Mon, 17 May 1999 09:24:37 +0200 (MET DST) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id JAA01226 for ; Mon, 17 May 1999 09:24:36 +0200 (MET DST) Received: from pc89.lri.fr (pc89.lri.fr [129.175.8.108]) by lri.lri.fr (8.9.1a/8.9.1) with ESMTP id JAA17156 for ; Mon, 17 May 1999 09:24:35 +0200 (MET DST) Received: by pc89.lri.fr (8.8.7/feuille) id JAA15332 ; Mon, 17 May 1999 09:24:34 +0200 X-Authentication-Warning: pc89.lri.fr: filliatr set sender to filliatr@pc89.lri.fr using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <14143.50225.763194.743429@pc89.lri.fr> Date: Mon, 17 May 1999 09:24:33 +0200 (MEST) To: caml-list@inria.fr Subject: visualization of Caml values X-Mailer: VM 6.49 under Emacs 20.3.1 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Content-Transfer-Encoding: 8bit Sender: weis [français] J'ai écrit un petit morceau de code qui permet de visualiser la représentation en mémoire des valeurs Caml. C'est notamment utile à des fins pédagogiques pour illustrer le partage et la persistence. (Ce programme requiert l'outil `dot' pour visualiser le graphe obtenu. Cet outil est librement disponible à l'adresse suivante : http://www.research.att.com/sw/tools/graphviz/) Le code, sa documentation et un exemple dont librement disponibles ici : http://www.lri.fr/~filliatr/ftp/ocaml/display/ ====================================================================== [english] I've written a little piece of code to display the internal representation of Caml values in memory. It is suitable, in particular, for teaching purposes, to illustrate sharing and persistence. (This program requires the `dot' tool, which is freely available at http://www.research.att.com/sw/tools/graphviz/) The code, its documentation and an example are freely available at : http://www.lri.fr/~filliatr/ftp/ocaml/display/ -- Jean-Christophe FILLIATRE mailto:Jean-Christophe.Filliatre@lri.fr http://www.lri.fr/~filliatr