14 papers:
- DocEng-2015-WuS #detection #evolution
- Detecting XSLT Rules Affected by Schema Evolution (YW, NS), pp. 143–146.
- RTA-2015-LepperW #performance #towards
- A Simple and Efficient Step Towards Type-Correct XSLT Transformations (ML, BTyW), pp. 350–364.
- ICMT-2013-LepperT #performance #validation
- Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract) (ML, BTyW), pp. 54–55.
- SAC-2008-GroppeGLKHR #xquery
- Embedding SPARQL into XQuery/XSLT (SG, JG, VL, DK, NH, CR), pp. 2271–2278.
- ICSM-2007-GustavssonLLMB #development #distributed #maintenance #modelling #uml #using
- Simplifying maintenance by using XSLT to unlock UML models in a distributed development environment (HG, BL, BL, AM, MB), pp. 465–468.
- DocEng-2006-LumleyT
- XSLT working session (JWL, JT), p. 1.
- VLDB-2006-LiuN #database #performance #relational
- Efficient XSLT Processing in Relational Database System (ZHL, AN), pp. 1106–1116.
- CIAA-2006-OnderB #proving
- XSLT Version 2.0 Is Turing-Complete: A Purely Transformation Based Proof (RO, ZB), pp. 275–276.
- ICEIS-DISI-2006-BettentruppGGBG #prototype #xquery
- A Prototype for Translating XSLT into XQuery (RB, SG, JG, SB, LG), pp. 22–29.
- DocEng-2005-ManakaS #lazy evaluation #optimisation #parsing #xml
- Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing (KM, HS), pp. 55–57.
- IWPC-2003-HennessyMP #comprehension #named #tool support #xml
- gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT (MH, BAM, JFP), p. 298–?.
- RE-2002-DuranCCT #requirements #using #verification
- Supporting Requirements Verification Using XSLT (AD, ARC, RC, MT), pp. 165–172.
- DocEng-2001-Tozawa #static typing #towards #type checking
- Towards static type checking for XSLT (AT), pp. 18–27.
- CL-2000-BexMN #formal method
- A Formal Model for an Expressive Fragment of XSLT (GJB, SM, FN), pp. 1137–1151.