From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id C35E5BC69 for ; Tue, 25 Sep 2007 17:28:58 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAKLF+EbAXQInemdsb2JhbACOLAEBCQo X-IronPort-AV: E=Sophos;i="4.20,296,1186351200"; d="scan'208";a="1758440" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Sep 2007 17:28:58 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8PFSwWo007267 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 25 Sep 2007 17:28:58 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGfF+EaBx2Aon2dsb2JhbACOLAEBAQEHBAYHCBg X-IronPort-AV: E=Sophos;i="4.20,296,1186351200"; d="scan'208";a="16761302" Received: from nef2.ens.fr ([129.199.96.40]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Sep 2007 17:28:57 +0200 Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22]) by nef2.ens.fr (8.13.6/1.01.28121999) with ESMTP id l8PFSvJq040022 for ; Tue, 25 Sep 2007 17:28:57 +0200 (CEST) X-Envelope-To: Received: from [129.199.156.65] (rezo-156-65 [129.199.156.65]) by clipper.ens.fr (8.13.1/jb-1.1) id l8PFSuko026976 for ; Tue, 25 Sep 2007 17:28:56 +0200 (MEST) Subject: Re: [Caml-list] Reference on the OCaml VM From: Mathias Kende To: OCaml List In-Reply-To: <84164AD0-DF4E-4536-B9CB-FD3F1760ED0C@x9c.fr> References: <20070923194933.578ebf42@localhost.localdomain> <1190583480.7864.13.camel@MATHIAS-ENS> <84164AD0-DF4E-4536-B9CB-FD3F1760ED0C@x9c.fr> Content-Type: text/plain; charset=UTF-8 Date: Tue, 25 Sep 2007 17:28:50 +0200 Message-Id: <1190734130.6673.10.camel@MATHIAS-ENS> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 8bit X-Virus-Scanned: by amavisd-milter (http://amavis.org/) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-3.1.4 (nef2.ens.fr [129.199.96.32]); Tue, 25 Sep 2007 17:28:57 +0200 (CEST) X-Miltered: at concorde with ID 46F9293A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 0200,:01 developping:01 bytecode:01 ocaml:01 mathias:98 mathias:98 cristal:01 cristal:01 caml-list:01 data:02 marshalled:04 lundi:05 inria:06 inria:06 Le lundi 24 septembre 2007 à 11:29 +0200, forum@x9c.fr a écrit : > While developping OCaml-Java, I had to reverse-engineer this > information. > I produced two pdf files available at http://cadmium.x9c.fr/ > downloads.html : > - caml-formats.pdf describes both the marshalled data format and the > bytecode file format; > - caml-instructions.pdf describes all the instructions used by the > OCaml VM. Thank you, this is exactly what I was looking for. Someone also gave a link to this page in an answer not forwarded to the list (I send it here for references): http://cristal.inria.fr/~lebotlan/docaml_html/french/ or http://cristal.inria.fr/~lebotlan/docaml_html/english/ Mathias