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

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

--- In xpl-dev@y..., Rod Moten <rod@c...> wrote:
At 09:49 AM 6/20/00 +0000, Jonathan Burns wrote:
>  
>  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 
>     
>     

Phil Wadler has developed a formal semantics of XSLT. 
 <a
href="http://www.cs.bell-labs.com/who/wadler/papers/xsl-semantics/xsl-
semant
ics.pdf">xsl-semantics.pdf</a>

<a href="http://www.cs.bell-
labs.com/who/wadler/topics/xml.html">Walder's
XML topics</a>

Rod
********************************************
* Make affirming your wife a top priority. *
********************************************
--- End forwarded message ---