Version française
Home     About     Download     Resources     Contact us    
Browse thread
Documentation on Caml Light runtime
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: Documentation on Caml Light runtime
> I would like to make some changes to the Caml Light runtime
> system. Before I begin, I am hoping that someone might have some
> documentation about the structure of the runtime system. This would
> be a tremendous aid as I delve into the code myself. Please email
> any info...

A description of the Caml Light implementation at a very early stage
can be found in the following tech report:

  Xavier Leroy. "The ZINC experiment, an economical implementation of
  the ML language". Technical report 117, INRIA, 1990.
  http://pauillac.inria.fr/~xleroy/publi/ZINC.ps.gz

Some parts of the report are still relevant seven years later, such as
the description of the abstract machine. Other parts are hopelessly
out of date.

Some info on the garbage collector is also available at
http://pauillac.inria.fr/~doligez/caml-light-gc/, in particular
an excellent overview written by Peter Sestoft at
http://pauillac.inria.fr/~doligez/caml-light-gc/Sestoft94.txt

Good luck,

- Xavier Leroy