Re: [Caml-list] [ANN] PEC ver. 1.1

Article View: fa.caml

Article #119

#119

From: Satoshi Ogasawara
Date: Fri, 20 Apr 2012 09:24

24 lines
3861 bytes

(2012/04/19 23:09), Daniel Bünzli wrote:
>> Do you have any experience to proof a theorem against event combination term
>> by using above axiom and event combinators semantics? I'm interested in this
>> kind of reasoning.
>
> In this post I use the semantics and equational reasoning to understand why something doesn't happen.
>
> https://sympa-roc.inria.fr/wws/arc/caml-list/2009-12/msg00054.html
>
> (you may have to read the whole thread to fully understand the example).

Thank you for your information. I like this kind of strict reasoning.
I'd like to add some semantics to PEC, too.

Any way, thank you for your educational discussion!

Best Regards,
  Ogasawara

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Technical Details

Message-ID: <fa.fFO0HRV0j3MWDgHK+2S3EmKHIZQ@ifi.uio.no>

Path:

arc1-ca.pugleaf.net!r9ni77500pbh.0!nntp.google.com!news2.google.com!news.glorb.com!uio.no!nntp.uio.no!.POSTED!not-for-mail

References:

<fa.eC97+rvXE0DePndGOv7yil7xbi4@ifi.uio.no> <fa.5HptiBmGebyjf7J8D7fIfuwuAk8@ifi.uio.no> <fa.USrvWWMOvEmRKzzRKZKJFsu4grE@ifi.uio.no> <fa.CPAs6FfCCaiMCvgZH0lMfVI7TDk@ifi.uio.no> <fa.Q5AcOD+O8JN3cve6YGd92xgVQy4@ifi.uio.no>

Show Full Headers

Complete Article Headers

X-Google-Thread: ff861,710aa013f40c0473
X-Google-NewGroupId: yes
X-Google-Attributes: gidc0fe4b917e,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.68.202.37 with SMTP id kf5mr5118576pbc.7.1334913884141;
        Fri, 20 Apr 2012 02:24:44 -0700 (PDT)
Path: arc1-ca.pugleaf.net!r9ni77500pbh.0!nntp.google.com!news2.google.com!news.glorb.com!uio.no!nntp.uio.no!.POSTED!not-for-mail
From: Satoshi Ogasawara <ogasawara@itpl.co.jp>
Newsgroups: fa.caml
Subject: Re: [Caml-list] [ANN] PEC ver. 1.1
Date: Fri, 20 Apr 2012 09:24:43 UTC
Organization: Internet mailing list
Lines: 25
Message-ID: <fa.fFO0HRV0j3MWDgHK+2S3EmKHIZQ@ifi.uio.no>
References: <fa.eC97+rvXE0DePndGOv7yil7xbi4@ifi.uio.no> <fa.5HptiBmGebyjf7J8D7fIfuwuAk8@ifi.uio.no> <fa.USrvWWMOvEmRKzzRKZKJFsu4grE@ifi.uio.no> <fa.CPAs6FfCCaiMCvgZH0lMfVI7TDk@ifi.uio.no> <fa.Q5AcOD+O8JN3cve6YGd92xgVQy4@ifi.uio.no>
NNTP-Posting-Host: mail-jess.uio.no
Mime-Version: 1.0
X-Trace: readme.uio.no 1334913883 26518 129.240.7.9 (20 Apr 2012 09:24:43 GMT)
X-Complaints-To: abuse@uio.no
NNTP-Posting-Date: Fri, 20 Apr 2012 09:24:43 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:11.0) Gecko/20120327 Thunderbird/11.0.1
Cc: caml-list@inria.fr
To: Daniel Bünzli <daniel.buenzli@erratique.ch>
X-IronPort-AV: E=Sophos;i="4.75,452,1330902000"; 
   d="scan'208";a="154854551"
X-Authentication-Warning: walapai.inria.fr: sympa set sender to caml-list-owner@inria.fr using -f
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiwFAFwqkU/Y5v4vmGdsb2JhbABDgxyCS5gUk0EiAQEBAQEICQ0HFCeCCQEBBSMPAQVAARALDQsCAgUWCwICCQMCAQIBRQYNCAEBiAoBC6djkyMEgS+OIIEYBIhhjRiFdCKNHQ
X-IronPort-AV: E=Sophos;i="4.75,452,1330902000"; 
   d="scan'208";a="140909666"
X-Virus-Scanned: amavisd-new at Alpha-Mail Out
In-Reply-To: <2B7FE930300F440ABE0F439A3418222C@erratique.ch>
X-Sequence: 3945
List-Id: <caml-list.inria.fr>
List-Archive: <https://sympa-roc.inria.fr/wws/arc/caml-list>
List-Help: <mailto:sympa@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa@inria.fr?subject=unsubscribe%20caml-list>
Original-Date: Fri, 20 Apr 2012 18:24:12 +0900
Original-Message-Id: <4F912B3C.9040409@itpl.co.jp>
Original-References: <4F8D9D0E.1040007@itpl.co.jp> <F7294E8F02FB474AA2373765B8BCAB57@erratique.ch> <4F8E1FF4.5070702@itpl.co.jp> <B2FE8DD50C9B4611809BC1F6B9CDD2E4@erratique.ch> <4F8EA91C.3060001@itpl.co.jp> <2B372C89CE4F408688B67B090FA5105C@erratique.ch> <4F8EFC34.7080906@itpl.co.jp> <B6E07E1F07A048D1BE101C5F5D01C781@erratique.ch> <4F8FD3EB.5050307@itpl.co.jp> <A9328FABD92A4920AB6703673BC7ACD6@erratique.ch> <4F900CCD.5050102@itpl.co.jp> <2B7FE930300F440ABE0F439A3418222C@erratique.ch>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

Reply to Parent Message