From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA11688 for caml-redistribution; Fri, 14 Jan 2000 20:17:44 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA13155 for <caml-list@pauillac.inria.fr>; Fri, 14 Jan 2000 20:16:50 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id UAA28212;
	Fri, 14 Jan 2000 20:16:48 +0100 (MET)
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA21158; Fri, 14 Jan 2000 20:16:47 +0100 (MET)
From: Pierre Weis <Pierre.Weis@inria.fr>
Message-Id: <200001141916.UAA21158@pauillac.inria.fr>
Subject: Re: Byte-code specs.
To: luther@dpt-info.u-strasbg.fr
Date: Fri, 14 Jan 2000 20:16:47 +0100 (MET)
Cc: caml-list@inria.fr
In-Reply-To: <20000114094258.A11868@dpt-info.u-strasbg.fr> from "Sven LUTHER" at Jan 14, 0 09:42:58 am
X-Mailer: ELM [version 2.4 PL24 ME8]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis

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