[XSL-LIST Mailing List Archive Home]
[By Thread]
[By Date]
Re: [xsl] XSLT and natural semantics
Subject: Re: [xsl] XSLT and natural semantics From: Justin Johansson <procode@xxxxxxxxxx> Date: Wed, 08 Aug 2007 08:29:05 +0900 |
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 ***
Current Thread |
---|
|
<- Previous | Index | Next -> |
---|---|---|
[xsl] XSLT and natural semantics, Garvin Riensche | Thread | Re: [xsl] XSLT and natural semantic, Garvin Riensche |
Re: [xsl] How to efficently determi, David Carlisle | Date | [xsl] XSL1.0 can I define a nodeset, shi wudao |
Month |
Keywords