[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:
>X-Mailer: Windows Eudora Pro Version 3.0 (32)
>Date: Tue, 20 Jun 2000 14:16:46 -0500
>To: Rod Moten <rod@c...>
>Subject: Re: [XPL] formal semantics of XSLT and other XML langs - 
>  Jonathan, please read
>
>Well, actually, it's a bit more modest: denotational semantics for 
an old
>(and small) version of XPath, the pattern sublanguage used within 
XSLT.
>The actual XPath standard is much larger and does not have formal 
semantics
>yet, afaik (here's a challenge for you :).
>
>Sasha
>
>At 11:19 AM 6/20/00 -0500, you wrote:
>>
>>
>>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>
>
>
********************************************
* Make affirming your wife a top priority. *
********************************************
--- End forwarded message ---