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)"

Previous message: Xavier Leroy: "Re: Threads Library"
In reply to: Dmitri Lomov: "Byte-code specs."
Next in thread: Sven LUTHER: "Re: Byte-code specs."
Reply: Sven LUTHER: "Re: Byte-code specs."
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> 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

Next message: Gerd Stolpmann: "Why is marshalling not thread-safe? (2.04)"
Previous message: Xavier Leroy: "Re: Threads Library"
In reply to: Dmitri Lomov: "Byte-code specs."
Next in thread: Sven LUTHER: "Re: Byte-code specs."
Reply: Sven LUTHER: "Re: Byte-code specs."
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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