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:

Ignore this:
Leave this empty:
Name is required. Either email or web are required. Email won't be displayed and I won't spam you. Your web site won't be indexed by search engines.
Don't put anything here:
Leave this empty:
URLs auto-link and some tags are allowed: <a><b><i><p><br><pre>.