Re: Byte-code specs.

From: Pierre Weis (Pierre.Weis@inria.fr)
Date: Fri Jan 14 2000 - 20:17:44 MET

  • Next message: Markus Mottl: "Re: Q: camlp4 use?"
  • Next message: Markus Mottl: "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

    Difficult to tell. Have a look at the FAQ:

    http://pauillac.inria.fr/caml/FAQ/FAQ_EXPERT-eng.html#couts

    Pierre Weis

    INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/



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