--- In xpl-dev@y..., "Richard Anthony Hein" <935551@i...> wrote:
<?xml version="1.0" encoding="UTF-8"?>
<!-- some tags that might be useful based on the paper at
http://www.cs.bell-labs.com/who/wadler/papers/xsl-semantics/xsl-
semantics.pd
f, which talks about a data model for XML, beginning on page 4:
<xpl:isRoot></xpl:isRoot>
<xpl:isElement></xpl:isElement>
<xpl:isAttribute></xpl:isAttribute>
<xpl:isText></xpl:isText>
<xpl:isComment></xpl:isComment>
<xpl:isPI></xpl:isPI>
<xpl:set></xpl:set>
<xpl:union></xpl:union>
<xpl:member-of></xpl:member-of>
<xpl:or></xpl:or>
<xpl:children-of></xpl:children-of>
<xpl:attributes-of></xpl:attributes-of>
<xpl:root-of></xpl:root-of>
<xpl:equals></xpl:equals>
<xpl:implies></xpl:implies>
Use these (and others, this is just a taste to see if it's helpful to
XPL)
to evaluate semantics of any given well-formed XML document in XPL?
-->
<!-- Example: a test to find out the node type -->
<xpl:if>
<xpl:or>
<a-node>
<xpl:member-of>
<xpl:children-of>
<another-node>
<xpl:implies>
<!-- between the following is* tag sets, put a reference to a-node,
which
has it's value in the document that XPL is evaluating; not sure how we
should reference it - XPath? Then this returns true or false?
Or is this redundant, because if it gets this far, one of the
following must
be true? -->
<xpl:isElement></xpl:isElement>
<xpl:isText></xpl:isText>
<xpl:isComment></xpl:isComment>
<xpl:isPI></xpl:isPI>
</xpl:implies>
</another-node>
</xpl:children-of>
</xpl:member-of>
</a-node>
<a-node>
<xpl:member-of>
<xpl:attributes-of>
<another-node>
<xpl:implies>
<xpl:isAttribute><!--
a-node --></xpl:isAttribute>
</xpl:implies>
</another-node>
</xpl:attributes-of>
</xpl:member-of>
</a-node>
<a-node>
<xpl:equals>
<xpl:root-of>
<another-node>
<xpl:implies>
<xpl:isRoot><!-- a-node --></xpl:isRoot>
</xpl:implies>
</another-node>
</xpl:root-of>
</xpl:equals>
</a-node>
</xpl:or>
</xpl:if>
<!-- So, using this kind of test, we can verify the semantic
correctness of
a document perhaps. I am not sure if this helps, but there it is.
Comments?
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...
To unsubscribe from this group, send an email to:
xpl-unsubscribe@o...
--- End forwarded message ---
|
