The Wiki way: quick collaboration on the Web
The Wiki way: quick collaboration on the Web
Static validation of dynamically generated HTML
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Towards static type checking for XSLT
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Typechecking Top-Down Uniform Unranked Tree Transducers
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Soot - a Java bytecode optimization framework
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Typechecking for XML transformers
Journal of Computer and System Sciences - Special issue on PODS 2000
Extending Java for high-level Web service construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static Analysis of XML Transformations in Java
IEEE Transactions on Software Engineering
Static analysis of XSLT programs
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Regular expression types for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Frontiers of tractability for typechecking simple XML transformations
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML type checking with macro tree transducers
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
Precise analysis of string expressions
SAS'03 Proceedings of the 10th international conference on Static analysis
Contracts for cooperation between web service programmers and html designers
Journal of Web Engineering
Static analysis for java servlets and JSP
SAS'06 Proceedings of the 13th international conference on Static Analysis
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
The design space of type checkers for XML transformation languages
ICDT'05 Proceedings of the 10th international conference on Database Theory
Static validation of XSL transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information Systems
XML graphs in program analysis
Science of Computer Programming
Hi-index | 0.00 |
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tailored for a range of applications. We present a unified definition, outline the key properties including validation of XML graphs against different XML schema languages, and provide a software package that enables others to make use of these ideas. We also survey four very different applications: XML in Java, Java Servlets and JSP, transformations between XML and non-XML data, and XSLT.