[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Xavier Leroy <Xavier.Leroy@i...> |
| Subject: | Re: Byte-code specs. |
> 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