Re: Byte-code specs.

From: Sven LUTHER (luther@dpt-info.u-strasbg.fr)
Date: Fri Jan 14 2000 - 09:42:58 MET

  • Next message: Mark Hayden: "Re: Immutable arrays (modest Feature request)"

    On Thu, Jan 13, 2000 at 10:47:27AM +0100, Xavier Leroy wrote:
    > > Are there any specs for CAML bytecode?
    >
    > Not much. There is an old technical report (1990!) that documents
    > the Caml Light virtual machine in some details:
    >
    > http://pauillac.inria.fr/~xleroy/publi/ZINC.ps.gz
    >
    > The Objective Caml virtual machine is a second iteration of the Caml
    > Light VM, with some complications removed (e.g. one stack instead of
    > two). However, there is no paper spec for it.

    And is there any document that gives some description of the execution costs
    of different ocaml constructs ?

    Friendly,

    Sven LUTHER



    This archive was generated by hypermail 2b29 : Fri Jan 14 2000 - 20:19:02 MET