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

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

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