[exprla-devel] Re: [XPL] formal semantics of XSLT and other XML langs - Jonathan, please read

[reid_spencer <ras...@re...>]

--- In xpl-dev@y..., Jonathan Burns <saski@w...> wrote:
Richard Anthony Hein wrote:

>  I am not sure on this yet, but maybe we can use the programs Paul
> talked about in his article on Groves to do this.  If you want to 
try
> Rod, check out Jonathan's annotated Grove page.  I'll take a look
> too.Jonathan, what do you think?Richard A. Hein
>
>      -----Original Message-----
>      From: Rod Moten [mailto:rod@c...]
>      Sent: June 19, 2000 1:37 PM
>      To: xpl@e...
>      Subject: [XPL] formal semantics of XSLT and other XML langs
>      Has anyone thought of developing a formal semantics, in
>      particular
>      operatational semantics, of XSLT and other XML languages?
>      The formal
>      semantics could be used to thoroughly analyze these
>      languages. From the
>      analysis, we may better understand what needs to go into XPL
>      to support the
>      other languages as well as overcome some of their
>      weaknesses.
>
>      Rod
>      ********************************************
>      * Make affirming your wife a top priority. *
>      ********************************************
>

Oh yes indeed.  Once we have an exact semantics for XPL, we're WAY
ahead.

To get this, we really want an exact semantics for XPath, XSLT etc -
because most of this
existing XML tech, we will want to reuse.

What I'm hoping is that Groves will be the absolute foundation for
semantic definitions.

Jonathan
--- End forwarded message ---