A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Regular path queries with constraints
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
WWW '99 Proceedings of the eighth international conference on World Wide Web
An incremental XSLT transformation processor for XML document manipulation
Proceedings of the 11th international conference on World Wide Web
An event-condition-action language for XML
Proceedings of the 11th international conference on World Wide Web
Translating XSLT programs to Efficient SQL queries
Proceedings of the 11th international conference on World Wide Web
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Indexing and Querying XML Data for Regular Path Expressions
Proceedings of the 27th International Conference on Very Large Data Bases
Composing XSL transformations with XML publishing views
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Transformation and reaction rules for data on the web
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing
Proceedings of the 2005 ACM symposium on Document engineering
XML graphs in program analysis
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Static validation of XSL transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
XML graphs in program analysis
Science of Computer Programming
Optimization of XSLT by compact specialization and combination
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
A framework for integrating XML transformations
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Compiler support for effective XSL transformation
Concurrency and Computation: Practice & Experience
Programming errors in traversal programs over structured data
Science of Computer Programming
JetXSLT: a resource-conscious XSLT processor
ADC '13 Proceedings of the Twenty-Fourth Australasian Database Conference - Volume 137
| Hi-index | 0.00 |
XML is becoming the dominant standard for representing and exchanging data on the World Wide Web. The ability to transform and present data in XML is crucial and XSLT (Extensible Stylesheet Language Transformations) is the principal programming language that supports this activity. Methods for analysis of XSLT programs are currently an important open issue. In this paper, we discuss new methods for analysing XSLT programs, which return information about reachability, invalid calling relationships and termination properties. Our methods are based on the determination of the associations which can exist between components of an XSLT program, refined by the knowledge from a DTD. Such analysis is important for debugging and verification of XSLT programs and also their optimisation.