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.0 required=5.0 tests=HTML_MESSAGE 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 AA48DBC37 for ; Mon, 17 Aug 2009 14:28:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYCAOvpiEpX+G60mWdsb2JhbACCJi+YLAEBAQEBCAsKBxOpZYEjjn8BBYQZ X-IronPort-AV: E=Sophos;i="4.43,396,1246831200"; d="scan'208";a="31231394" Received: from web28501.mail.ukl.yahoo.com ([87.248.110.180]) by mail2-smtp-roc.national.inria.fr with SMTP; 17 Aug 2009 14:28:01 +0200 Received: (qmail 86632 invoked by uid 60001); 17 Aug 2009 12:28:01 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.de; s=s1024; t=1250512080; bh=FPvgyuY2aBILQ7ULWvrlg3adolbjbJDbRcrWS+AN1Ew=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type; b=FQiqfJhybh1N6VBmkNqrZT7/6Dxm1LqcTlDPgQj5YJrP/GYu3MjCs9QAEE6n1CvWdyOxPmp5JaGLvx6UtzMPzKU0Iusf0BbR9YhWy14RNraFfPDny2IiEQM6y6NCbgZHwYsAjVwDvcFI3yq4V1CP5nowhj+4jrfPgTMzctgilBI= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.de; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type; b=y9IniXGywcE++nfLHl2dAKLR/02iWTx3Y0UGdkbWrnjgRSTZXmvr+PIawr+hTKeX6XeDrU77IJDg2Iq+rGHOxCF7OTtrvEFSX8U+J1G40AbzN0gdPsjSGMALISg96qN15udbWDe06X0huyDC+/qIdLYGaMeaH16qBt5Bl4BTyqA=; Message-ID: <919990.86127.qm@web28501.mail.ukl.yahoo.com> X-YMail-OSG: Z_59m18VM1lP9T7.barMtatXsoHHhbQZoAF7iqehsgiix8coE9C2UHrxuleR0Sf.mPQI5KmjK1BprCLNx2ojbq8HaMpatuuUrGXCMCq3KH01iWkt0IBDIzulL1Y4azB56wktIlet.su_hCK2hIZptWj563HIaQdehCEoyqmVOWrvGctMrxzJaRcZlnIOifGnHxcr71Sz7CbSrT.OrSOqzwuSXXgXHhrswQuluqckPMxoii.M6UywaWZzQ7.MvHRvsvHbk51AKODdcKSkoWWhcya6UWLO8tvlbJE2iBjlhAxnHa4NfzIEAo4ytjG66hGPHv4- Received: from [141.21.7.203] by web28501.mail.ukl.yahoo.com via HTTP; Mon, 17 Aug 2009 12:28:00 GMT X-Mailer: YahooMailClassic/6.1.2 YahooMailWebService/0.7.338.2 Date: Mon, 17 Aug 2009 12:28:00 +0000 (GMT) From: tumenjargal tsagaan Subject: From Ocaml to sequence calculus To: caml-list@yquem.inria.fr MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="0-1112510965-1250512080=:86127" X-Spam: no; 0.00; ocaml:01 ocaml:01 calculus:01 calculus:01 generates:07 generates:07 versa:09 versa:09 wondering:09 wondering:09 idea:13 idea:13 sequence:13 sequence:13 kinds:16 X-Attachments: cset="utf-8" cset="utf-8" --0-1112510965-1250512080=:86127 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi, I was wondering if someone is aware of a tool which generates a sequence calculus representation from Ocaml code or vice versa? Is there any attempt towards this idea? Kinds regards, Tumee. =0A=0A=0A --0-1112510965-1250512080=:86127 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
Hi,

I was wondering if someone is awar= e of a tool which generates
a sequence calculus representation from Ocam= l code or vice versa?

Is there any attempt towards this idea?
Kinds regards,

Tumee.



=0A=0A=0A = --0-1112510965-1250512080=:86127--