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

Article View: fa.caml

Article #110

#110

From: Satoshi Ogasawara
Date: Thu, 19 Apr 2012 13:02

26 lines
3944 bytes

Thank you for helping me understand with your explanation.

Your event semantics has two invariant.

  1. for all e, t : occurrence of [e] at time [t] is one or zero.
  2. if primitive [e] is occurred in time [t], update cycle runs in time [t].

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.

(2012/04/19 19:31), Daniel Bünzli wrote:
> Right. But you still have to maintain some kind of mapping between the primitive event and the leaves they may influence to know which ones to update when the corresponding primitive event occurs. Do you store that in the primitive event itself or do you use a global data structure ?

Primitive events has list of leaves.


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.CPAs6FfCCaiMCvgZH0lMfVI7TDk@ifi.uio.no>

Path:

arc1-ca.pugleaf.net!r9ni74265pbh.0!nntp.google.com!news2.google.com!goblin2!goblin1!goblin.stu.neva.ru!uio.no!nntp.uio.no!.POSTED!not-for-mail

References:

<fa.eC97+rvXE0DePndGOv7yil7xbi4@ifi.uio.no> <fa.XWYMFTDmRlXUem/BxitkE8OeIQ0@ifi.uio.no> <fa.DWabK3GfNAKQqoq/86Op5IE4fTo@ifi.uio.no> <fa.5HptiBmGebyjf7J8D7fIfuwuAk8@ifi.uio.no> <fa.USrvWWMOvEmRKzzRKZKJFsu4grE@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.233.69 with SMTP id tu5mr1975231pbc.6.1334840554238;
        Thu, 19 Apr 2012 06:02:34 -0700 (PDT)
Path: arc1-ca.pugleaf.net!r9ni74265pbh.0!nntp.google.com!news2.google.com!goblin2!goblin1!goblin.stu.neva.ru!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: Thu, 19 Apr 2012 13:02:33 UTC
Organization: Internet mailing list
Lines: 27
Message-ID: <fa.CPAs6FfCCaiMCvgZH0lMfVI7TDk@ifi.uio.no>
References: <fa.eC97+rvXE0DePndGOv7yil7xbi4@ifi.uio.no> <fa.XWYMFTDmRlXUem/BxitkE8OeIQ0@ifi.uio.no> <fa.DWabK3GfNAKQqoq/86Op5IE4fTo@ifi.uio.no> <fa.5HptiBmGebyjf7J8D7fIfuwuAk8@ifi.uio.no> <fa.USrvWWMOvEmRKzzRKZKJFsu4grE@ifi.uio.no>
NNTP-Posting-Host: mail-jess.uio.no
Mime-Version: 1.0
X-Trace: readme.uio.no 1334840553 9115 129.240.7.9 (19 Apr 2012 13:02:33 GMT)
X-Complaints-To: abuse@uio.no
NNTP-Posting-Date: Thu, 19 Apr 2012 13:02:33 +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,446,1330902000"; 
   d="scan'208";a="154731897"
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: AksFAAMMkE/Y5v4vmGdsb2JhbABDgxyCSZgckCqDFiIBAQEBAQgJDRsnggkBAQUjDwEFQAEQCxgCAgUWCwICCQMCAQIBRQYNAQcBAYgKAac3ky6BL412gRgEiFqNFYV0jT0
X-IronPort-AV: E=Sophos;i="4.75,446,1330902000"; 
   d="scan'208";a="154731790"
X-Virus-Scanned: amavisd-new at Alpha-Mail Out
In-Reply-To: <A9328FABD92A4920AB6703673BC7ACD6@erratique.ch>
X-Sequence: 3936
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: Thu, 19 Apr 2012 22:02:05 +0900
Original-Message-Id: <4F900CCD.5050102@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>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

Reply to Parent Message