W3C home > Mailing lists > Public > uri@w3.org > September 2014

URI Specification Community Group

From: David Sheets <sheets@alum.mit.edu>
Date: Thu, 11 Sep 2014 21:09:25 +0100
Message-ID: <CAAWM5Tx1Tv+2muax7jZMe9t4b=9cy08WxTAoit_Zo90CUuuFQg@mail.gmail.com>
To: URI <uri@w3.org>
As suggested by the inimitable Marcos Caceres, I have started a
Community Group in which to work on the formal specification of URI
and related technology.

To begin, the group will only be focused on delivering a formal
specification of the basic URI functions which can then be used as the
source for generation of an HTML document, a test oracle (compilable
to JavaScript), and a set of theorems for formal proof.

The present plan is to use the tool Lem
<http://www.cl.cam.ac.uk/~pes20/lem/> for authoring of the
specification. I work closely with some of the authors of Lem and I am
currently engaged in the specification of the POSIX 2008 file system
API so any issues that may arise should be easily dealt with.

Feel free to discuss this idea here or indicate your support
<http://www.w3.org/community/groups/proposed/#urispec> for the
Community Group. I am also interested in keeping this mailing list,
WebApps, and the relevant IETF bodies apprised of our progress so
please also indicate how you feel that would be best accomplished.


David Sheets
Received on Thursday, 11 September 2014 20:10:28 UTC

This archive was generated by hypermail 2.4.0 : Sunday, 10 October 2021 22:17:57 UTC