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

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

--- In xpl-dev@y..., "Richard Anthony Hein" <935551@i...> wrote:
Fantastic!  Thanks Rod!

Richard A. Hein
  -----Original Message-----
  From: Rod Moten [mailto:rod@c...]
  Sent: June 20, 2000 12:12 PM
  To: xpl@e...
  Cc: xpl@e...
  Subject: Re: [XPL] formal semantics of XSLT and other XML langs -
Jonathan, please read


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

----------------------------------------------------------------------
------
--



----------------------------------------------------------------------
------
--
  To unsubscribe from this group, send an email to:
  xpl-unsubscribe@o...
--- End forwarded message ---