Hi Gavin,
Does anyone know if a definition of the xslt language in natural
semantics format exists?
Perhaps you could elaborate on what your problem/goal is here.
Assuming we are both on the same wavelength, then this is a topic of great
interest to me also.
Have a look at the CLAIR system:
http://www.cs.unipr.it/clair/
"The Combined Language and Abstract Interpretation Resource. The CLAIR
system has been developed in order to study and experiment with various
aspects of programming language implementation. At present, CLAIR supports
two languages: a simple functional language (SFL) and an imperative
language (SIL) that recalls Pascal to some extent. There is also, under
development an interface to the C language via CIL - Infrastructure for C
Program Analysis and Transformation [NecMR02]."
Noting that XSLT has been shown by Dimitre Novatchev to be an incarnation
of a functional programming language (c.f. FXSL), then it may be possible
to use ideas from CLAIR as regards XSLT.
http://fxsl.sourceforge.net/articles/FuncProg/Functional%20Programming.html
regards,
Garvin
Cheers,
Justin Johansson
*** A horse with no name is called Lambda ***
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--