A Formal Model for an Expressive Fragment of XSLT

13 years 10 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