From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <syshen@nudt.edu.cn>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 006EA7EE4B
	for <caml-list@sympa.inria.fr>; Sun, 29 Sep 2013 13:06:54 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  syshen@nudt.edu.cn) identity=pra; client-ip=61.187.54.11;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="syshen@nudt.edu.cn";
  x-sender="syshen@nudt.edu.cn"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  syshen@nudt.edu.cn) identity=mailfrom;
  client-ip=61.187.54.11;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="syshen@nudt.edu.cn";
  x-sender="syshen@nudt.edu.cn"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@nudt.edu.cn) identity=helo;
  client-ip=61.187.54.11;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="syshen@nudt.edu.cn";
  x-sender="postmaster@nudt.edu.cn";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApsZAHQJSFI9uzYLUWdsb2JhbABZhBGDKb0jgWADARcVBz2CHIEeCQECPkU+h3SNEIxSjn4IiHKJE49uglCBPAOJN45IlSqCHQ
X-IPAS-Result: ApsZAHQJSFI9uzYLUWdsb2JhbABZhBGDKb0jgWADARcVBz2CHIEeCQECPkU+h3SNEIxSjn4IiHKJE49uglCBPAOJN45IlSqCHQ
X-IronPort-AV: E=Sophos;i="4.90,1004,1371074400"; 
   d="scan'208";a="34780370"
Received: from mail.nudt.edu.cn (HELO nudt.edu.cn) ([61.187.54.11])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 29 Sep 2013 13:06:33 +0200
Received: by ajax-webmail-coremail.nudt.edu.cn (Coremail) ; Sun, 29 Sep 2013
 18:59:11 +0800 (GMT+08:00)
Date: Sun, 29 Sep 2013 18:59:11 +0800 (GMT+08:00)
From: =?GBK?B?yfLKpNPu?= <syshen@nudt.edu.cn>
To: caml-list@inria.fr
Message-ID: <37811b09.6ff.141695f3e3c.Coremail.syshen@nudt.edu.cn>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_6232_1586446491.1380452351548"
X-Originating-IP: [113.246.243.109]
X-Priority: 3
X-Mailer: Coremail Webmail Server Version 4.0.5a build
 20121109(20529.5019.5013) Copyright (c) 2002-2013 www.mailtech.cn nudt-out
X-SendMailWithSms: false
X-CM-TRANSID:AQAAf0AJOEMACEhSEUUEAA--.436W
X-CM-SenderInfo: xv1vxvnq6q3vvwohv3gofq/1tbiAQAQE1C8UjsLdwAKsx
X-Coremail-Antispam: 1Ur529EdanIXcx71UUUUU7IcSsGvfJ3iIAIbVAYjsxI4VWUJw
	CS07vEb4IE77IF4wCS07vE1I0E4x80FVAKz4kxMIAIbVAFxVCaYxvI4VCIwcAKzIAtYxBI
	daVFxhVjvjDU=
Subject: [Caml-list] equivalent checking of ocaml program?


------=_Part_6232_1586446491.1380452351548
Content-Type: text/plain; charset=GBK
Content-Transfer-Encoding: 7bit

Dear all:


I am working hard to optimize my ocaml program, but I am not sure whether the significantly modified version is equal to the old version.


So is there any research work on this topic?


Shen
------=_Part_6232_1586446491.1380452351548
Content-Type: text/html; charset=GBK
Content-Transfer-Encoding: 7bit

Dear all:<div><br></div><div>I am working hard to optimize my ocaml program, but I am not sure whether the significantly modified version is equal to the old version.</div><div><br></div><div>So is there any research work on this topic?</div><div><br></div><div>Shen</div>
------=_Part_6232_1586446491.1380452351548--