A Formal Semantics of Patterns in XSLT

Sunday 22 September 2002

Philip Wadler wrote this paper to explore defining XPath with formal semantics. I have been interested in denotational semantics in the past, and use XSLT now, to produce this site. The paper claims that XPath was changed in response to ambiguities unearthed by the denotational semantics. Cool.

I can't say I've taken the time to read this paper, but would like to, and am glad that someone is using good theory to support and improve practical software.

Comments

Add a comment:

name
email
Ignore this:
not displayed and no spam.
Leave this empty:
www
not searched.
 
Name and either email or www are required.
Don't put anything here:
Leave this empty:
URLs auto-link and some tags are allowed: <a><b><i><p><br><pre>.