W3C home > Mailing lists > Public > public-rif-wg@w3.org > December 2006

[TED] CORE Pages Edited for Slot-to-Positional Transformation and Multisorted Syntax

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Mon, 18 Dec 2006 21:36:01 -0500
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E902F6D0CE@nrccenexb1.nrc.ca>
To: "RIF WG" <public-rif-wg@w3.org>

In partial fulfillment of what I envisaged by today:

* Following the discussions since the F2F4 breakout,
I extended the CORE document's basic slotted syntax by
sections on slot-to-positional "SYNTACTIC TRANSFORMATION"
in both:


* Based on recently discussed examples, I added a
preliminary multisorted syntax for primitive sorts,
initializing a section on "Multisorted Syntax":


* The CORE "Discussion" section lists the still missing
non-primitive-sort syntax and a semantics parameterized
w.r.t. external calls:


The other part, a summary of the offline discussion
between Hassan, Michael, and me, became a bit delayed
by the 'recursion' discussion. Because of our current
timezone difference I don't know if Michael will still
send something in the Innsbruck morning.

-- Harold
Received on Tuesday, 19 December 2006 02:36:14 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:41 UTC