visualization of Caml values

From: Jean-Christophe Filliatre (filliatr@lri.fr)
Date: Mon May 17 1999 - 09:24:33 MET DST

Next message: Benoit deBoursetty: "modification to the O'CaML sets.ml"
Previous message: Joerg Czeranski: "more patches (for Unix signal mask)"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

From: Jean-Christophe Filliatre <filliatr@lri.fr>
Date: Mon, 17 May 1999 09:24:33 +0200 (MEST)
To: caml-list@inria.fr
Subject: visualization of Caml values

[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

Next message: Benoit deBoursetty: "modification to the O'CaML sets.ml"
Previous message: Joerg Czeranski: "more patches (for Unix signal mask)"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:22 MET