Christian Kirkegaard, Anderss Møller, Michael I. Schwartzbach  Home/Search
Context Related
| brics.dk/~mis/xact.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brics.dk/~mis/papers (more) Homepages: M.Schwartzbach |
Rate this article:      (best)Comment on this article |
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... (Update)
Cited by: More
XML Type Checking Using High-Level Tree Transducer - Tozawa (2006) (Correct)
A Runtime System for XML Transformations in Java - Christensen, Kirkegaard.. (2004) (Correct)
XJ: Facilitating XML Processing in Java - Harren, Raghavachari, Shmueli, al. (2005) (Correct)
Active bibliography (related documents): More All
7.1: Static Analysis of XML Transformations in Java - Anders (2003) (Correct)
0.5: Unifying Tables, Objects and Documents - Meijer, Schulte (2003) (Correct)
0.4: Program Verification with Monadic Second-Order Logic & Languages.. - Møller (2002) (Correct)
Similar documents based on text: More All
0.3: Document Structure Description 1.0 - Klarlund, Møller.. (1999) (Correct)
0.3: Static Validation of Dynamically Generated HTML - Brabrand, Møller.. (2001) (Correct)
0.2: The Pointer Assertion Logic Engine - Møller, Schwartzbach (2000) (Correct)
Related documents from co-citation: More All
5: Xduce: A statically typed xml processing language - Hosoya, Pierce - 2002
5: XJ: Integration of XML processing into Java - Harren, Raghavachari et al. - 2003
5: Cduce: An xml-centric general-purpose language - Benzaken, Castagna et al. - 2003
BibTeX entry: (Update)
C. Kirkegaard, A. Mller, and M. I. Schwartzbach. Static analysis of XML transformations in Java. Technical Report RS-03-19, BRICS, May 2003. http://citeseer.ist.psu.edu/article/kirkegaard03static.html More
@article{ kirkegaard-static,
author = "Christian Kirkegaard and Anderss M\oller and Michael I. Schwartzbach",
title = "Static Analysis of {XML} Transformations in {Java}",
journal = "IEEE Trans. on Software Engineering",
url = "citeseer.ist.psu.edu/article/kirkegaard03static.html" }
Citations (may not include all citations):195 XML path language (context) - Clark, DeRose - 1999
181 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999
116 Monotone data flow analysis frameworks (context) - Kam, Ullman - 1977
75 Practical virtual method call resolution for Java - Sundaresan, Hendren et al. - 2000
71 Typechecking for XML transformers - Milo, Suciu et al. - 2002
61 Haskell and XML: Generic combinators or type-based translati.. - Wallace, Runciman - 1999
53 DTD inference for views of XML data - Papakonstantinou, Vianu - 2000
28 XML Schema part 1: Structures (context) - Thompson, Beech et al. - 2001
27 Regular object types - Gapayev, Pierce - 2003
27 Extensible Markup Language (XML) 1.0 (second edition (context) - Bray, Paoli et al. - 2000
23 Soot -- a Java optimization framework (context) - Vallee-Rai, Hendren et al. - 1999
23 XDuce: A statically typed XML processing language - Hosoya, Pierce - 2003
20 WASH/CGI: Server-side Web scripting with sessions and typed,.. - Thiemann - 2002
18 Extending Java for high-level Web service construction - Christensen, Mller et al. - 2003
15 xmlquery-use-cases (context) - Chamberlin, use et al. - 2002
12 Effective Java Programming Language Guide (context) - Bloch - 2001
11 Typechecking top-down uniform unranked tree transducers - Martens, Neven - 2003
11 Type checking in XOBE (context) - Kempa, Linnemann - 2003
11 SXSLT: Manipulation language for XML (context) - Kiselyov, Krishnamurthi - 2003
9 Precise analysis of string expressions - Christensen, Mller et al. - 2003
9 XQuery 1.0: An XML query language (context) - Boag - 2002
9 CDuce: a white paper - Benzaken, Castagna et al. - 2002
7 An approach to high-level language bindings to XML - Simeoni, Manghi et al. - 2002
7 The XML typechecking problem (context) - Suciu - 2002
7 Department of Computer Science (context) - Christensen, Mller et al. - 2002
7 The metafront system: Extensible parsing and transformation - Brabrand, Schwartzbach et al. - 2003
6 Transforming XML documents using fxt (context) - Berlea, Seidl - 2002
6 XML data binding resources (context) - Bourret - 2003
6 Java API for XML processing (context) - Microsystems - 2001
6 XM#: A functional language for constructing and manipulating.. (context) - Meijer, Shields - 1999
6 Towards static type checking for XSLT (context) - Tozawa - 2001
6 XHTML 1.0: The extensible hypertext markup language (context) - Pemberton - 2000
6 Projector -- a partially typed language for querying XML (context) - Connor, Lievens et al. - 2002
6 Static analysis for dynamic XML - Christensen, Mller et al. - 2002
5 Document Object Model (DOM) level 1 specification (context) - Apparao - 1998
5 The XML revolution - technologies for the future Web (context) - Mller, Schwartzbach - 2001
4 XQuery 1.0 and XPath 2.0 formal semantics (context) - Draper - 2002
4 Java Servlet Specification, Version 2.3 (context) - Microsystems - 2001
4 XSL transformations (XSLT) version 2.0 (context) - Kay - 2003
4 XSL transformations (XSLT) specification (context) - Clark - 1999
4 com xmljaxb (context) - JAXB, sun et al. - 2002
4 relaxer.org/ doc/tutorial (context) - Fitzgerald, tutorial et al. - 2003
4 Amazon web services (context) - com - 2002
4 A type-safe macro system for XML - Perst, Seidl - 2002
4 Document Structure Description 2.0 (context) - Mller - 2002
4 Experimenting with the Circus language for XML modeling and .. (context) - Vion-Dury, Lux et al. - 2002
4 Transformation API for XML (context) - Boag - 2003
4 Unifying tables, objects and documents - Meijer, Schulte - 2003
3 XSLT requirements version 2.0 (context) - Muench, Scardina - 2001
3 A runtime system for XML transformations in Java (context) - Kirkegaard, Christensen et al. - 2003
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.brics.dk/~mis/papers.html): More
Distributed Safety Controllers for Web Services - Sandholm, Schwartzbach (1998) (Correct)
YakYak: Parsing with Logical Side Constraints - Damgaard, Klarlund, Schwartzbach (1999) (Correct)
Automatic Verification of Pointer Programs using.. - Jensen.. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC