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 KAA24196 for caml-redistribution; Tue, 11 May 1999 10:37:53 +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 KAA11397 for <caml-list@pauillac.inria.fr>; Mon, 10 May 1999 10:11:29 +0200 (MET DST)
Received: from www.nextsolution.co.jp (www.nextsolution.co.jp [202.33.212.2])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA15546
	for <caml-list@inria.fr>; Mon, 10 May 1999 10:11:26 +0200 (MET DST)
Received: from sparc1.nextsolution.co.jp (sparc1 [202.235.80.1])
	by www.nextsolution.co.jp (8.8.7/3.7W) with SMTP id RAA07574;
	Mon, 10 May 1999 17:03:43 +0900 (JST)
Received: from sparc1.nextsolution.co.jp by sparc1.nextsolution.co.jp (SMI-8.6/SMI-SVR4)
	id RAA14682; Mon, 10 May 1999 17:10:19 +0900
From: "Frank A. Christoph" <christo@nextsolution.co.jp>
To: "R.S. Nikhil" <nikhil@crl.dec.com>, "'Chris Tilt'" <chris@webcriteria.com>,
        <caml-list@inria.fr>
Subject: RE: Graph Visualization
Date: Mon, 10 May 1999 17:17:16 +0900
Message-ID: <000201be9abd$83fc5080$0150ebca@nextsolution.co.jp>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook 8.5, Build 4.71.2173.0
Importance: Normal
In-Reply-To: <C75BA13E11D7D211A7280000F86B14270272A7@zen.crl.dec.com>
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2014.211
Sender: weis

> > With so many people developing excellent compilers,
> > I was hoping to get a hint on the visualization of
> > graphs (even trees would help) using native OCAML.
> > The layout is not required to be good; this is
> > intended for researching the nature of large Web
> > sites using our existing modeling software written
> > in OCAML.
> I don't know about OCAML graph-viz tools, but some
> time ago I did a search for graph-viz tools in
> general, and attached below are my notes.  Hope
> they are of some use to you.

I suppose that it is worth mentioning in this connection the HOPS (Higher
Object Programming System) project, which uses da Vinci together with O'Labl
to format higher-order term graphs (but not of O'Labl terms).

http://diogenes.informatik.unibw-muenchen.de:8080/kahl/HOPS/

--FC