* Byte-code specs.
@ 2000-01-04 13:36 Dmitri Lomov
2000-01-13 9:47 ` Xavier Leroy
0 siblings, 1 reply; 4+ messages in thread
From: Dmitri Lomov @ 2000-01-04 13:36 UTC (permalink / raw)
To: caml-list
Are there any specs for CAML bytecode?
Regards,
Dmitri
_________________________________________________________________
Dmitri S. Lomov
mailto:dsl@tepkom.ru ICQ#: 20524819 (Rusty)
http://users.tepkom.ru/dsl, http://young.tepkom.ru
ftp://young.tepkom.ru
+7 (812) 428-46-57 (b) +7 (812) 295-94-15 (h)
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Byte-code specs.
2000-01-04 13:36 Byte-code specs Dmitri Lomov
@ 2000-01-13 9:47 ` Xavier Leroy
2000-01-14 8:42 ` Sven LUTHER
0 siblings, 1 reply; 4+ messages in thread
From: Xavier Leroy @ 2000-01-13 9:47 UTC (permalink / raw)
To: dsl, caml-list
> 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
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Byte-code specs.
2000-01-13 9:47 ` Xavier Leroy
@ 2000-01-14 8:42 ` Sven LUTHER
2000-01-14 19:16 ` Pierre Weis
0 siblings, 1 reply; 4+ messages in thread
From: Sven LUTHER @ 2000-01-14 8:42 UTC (permalink / raw)
To: Xavier Leroy; +Cc: dsl, caml-list
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
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Byte-code specs.
2000-01-14 8:42 ` Sven LUTHER
@ 2000-01-14 19:16 ` Pierre Weis
0 siblings, 0 replies; 4+ messages in thread
From: Pierre Weis @ 2000-01-14 19:16 UTC (permalink / raw)
To: luther; +Cc: caml-list
> 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/
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2000-01-14 19:17 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-01-04 13:36 Byte-code specs Dmitri Lomov
2000-01-13 9:47 ` Xavier Leroy
2000-01-14 8:42 ` Sven LUTHER
2000-01-14 19:16 ` Pierre Weis
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox