World Wide Web Journal - Special issue on XML: principles, tools, and techniques
Haskell and XML: generic combinators or type-based translation?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Practical virtual method call resolution for Java
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Effective Java programming language guide
Effective Java programming language guide
Towards static type checking for XSLT
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
ACM SIGMOD Record
SAX2
Principles of Program Analysis
Principles of Program Analysis
Experimenting with the circus language for XML modeling and transformation
Proceedings of the 2002 ACM symposium on Document engineering
Typechecking Top-Down Uniform Unranked Tree Transducers
ICDT '03 Proceedings of the 9th International Conference on Database Theory
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
SXSLT: Manipulation Language for XML
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
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)
Precise analysis of string expressions
SAS'03 Proceedings of the 10th international conference on Static analysis
XJ: facilitating XML processing in Java
WWW '05 Proceedings of the 14th international conference on World Wide Web
From UML to LQN by XML algebra-based model transformations
Proceedings of the 5th international workshop on Software and performance
String analysis for x86 binaries
PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Doxpects: aspects supporting XML transformation interfaces
Proceedings of the 5th international conference on Aspect-oriented software development
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
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)
Finding Errors in Interoperating Components
IWICSS '07 Proceedings of the Second International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques
Finding errors in components that exchange xml data
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Information Systems
XHaskell --- Adding Regular Expression Types to Haskell
Implementation and Application of Functional Languages
Automated Software Engineering
Analysis of imperative XML programs
Information Systems
A Type-Safe Embedding of XDuce into ML
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis of imperative XML programs
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Matchete: paths through the pattern matching jungle
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Interface composition for web service intermediaries
SC'08 Proceedings of the 7th international conference on Software composition
XML graphs in program analysis
Science of Computer Programming
Contracts for cooperation between web service programmers and html designers
Journal of Web Engineering
Exact XML type checking in polynomial time
ICDT'07 Proceedings of the 11th international conference on Database Theory
Static analysis for java servlets and JSP
SAS'06 Proceedings of the 13th international conference on Static Analysis
XML type checking using high-level tree transducer
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
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
XML goes native: run-time representations for XTATIC
CC'05 Proceedings of the 14th international conference on Compiler Construction
Verification of tree updates for optimization
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Automata-based symbolic string analysis for vulnerability detection
Formal Methods in System Design
Hi-index | 0.00 |
Abstract--XML documents generated dynamically by programs are typically represented as text strings or DOM trees. This is a low-level approach for several reasons: 1) Traversing and modifying such structures can be tedious and error prone, 2) although schema languages, e.g., DTD, allow classes of XML documents to be defined, there are generally no automatic mechanisms for statically checking that a program transforms from one class to another as intended. We introduce Xact, a high-level approach for Java using XML templates as a first-class data type with operations for manipulating XML values based on XPath. In addition to an efficient runtime representation, the data type permits static type checking using DTD schemas as types. By specifying schemas for the input and output of a program, our analysis algorithm will statically verify that valid input data is always transformed into valid output data and that the operations are used consistently.