A Formal Model for an Expressive Fragment of XSLT

13 years 4 months ago

Download uhdspace.uhasselt.be

The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtensible Style sheet Language Transformations). An informal

Geert Jan Bex, Sebastian Maneth, Frank Neven

Real-time Traffic

Automated Reasoning | CL 2000 | Extensible Style Sheet | Style Sheet Language | XML Query Language |

claim paper

Related Content

» Towards Fuzzy Compositional Modelling

» Evaluating a Formal Modelling Language

» Formalization of Viruses and Malware Through Process Algebras

» Some Recent Results in Metric Temporal Logic

» Modular Verification of Interactive Systems with an Application to Biology

» XML transformation by treewalking transducers with invisible pebbles

» OWL2Jess A Transformational Implementation of the OWL Semantics

» Public and private communication are different results on relative expressivity

» A Coordination Model for Interactive Components

Post Info
More Details (n/a)

Added	17 Dec 2010
Updated	17 Dec 2010
Type	Journal
Year	2000
Where	CL
Authors	Geert Jan Bex, Sebastian Maneth, Frank Neven

Comments (0)

Sciweavers

A Formal Model for an Expressive Fragment of XSLT

Automated Reasoning | CL 2000 | Extensible Style Sheet | Style Sheet Language | XML Query Language |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers