Extended CBV semantics

Subject: Extended CBV semantics
From: John Havlicek (havlicek@adttx.sps.mot.com)
Date: Tue Mar 12 2002 - 20:43:30 PST

• Next message: Harry Foster: "Wed March 20-th Meeting and Final Vote"
• Previous message: John Havlicek: "CBV Roadmap erratum"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear VFV:

Please find attached a document defining Extended CBV semantics.

This document omits the general abort statement semantics.
The general abort has the form

   abort @(e)
      S
   into
      T

Its semantics demand a "pop" of the computation context
when the abort statement was executed before proceeding
to T. To keep the presentation simple in the current
document, we avoided the general abort.

There is no difficulty defining the semantics of the
general abort, but we are working still on static conditions
under which the general abort will be compatible
with the \omega- and \bar\omega-consistency conditions
herein.

Best regards,

John Havlicek

• APPLICATION/octet-stream attachment: ecbv_semantics_sketch.ps.gz

• Next message: Harry Foster: "Wed March 20-th Meeting and Final Vote"
• Previous message: John Havlicek: "CBV Roadmap erratum"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Mar 12 2002 - 20:46:30 PST