Re: Byte-code specs.

From: Xavier Leroy (Xavier.Leroy@inria.fr)
Date: Thu Jan 13 2000 - 10:47:27 MET

  • Next message: Gerd Stolpmann: "Why is marshalling not thread-safe? (2.04)"

    > 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.

    - Xavier Leroy



    This archive was generated by hypermail 2b29 : Thu Jan 13 2000 - 17:33:09 MET