--- 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 ---
|
