Static Analysis of  XML Transformations in Java

Static Analysis of XML Transformations in Java (2003)

Cached

Download Links

by Christian Kirkegaard , Anders Møller , Michael I. Schwartzbach

Citations:

BibTeX

@MISC{Kirkegaard03staticanalysis,
    author = {Christian Kirkegaard and Anders Møller and Michael I. Schwartzbach},
    title = { Static Analysis of XML Transformations in Java},
    year = {2003}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

458	Principles of program analysis - Nielson, Nielson, et al. - 1999
152	Soot - a Java optimization framework - Vallée-Rai, Hendren, et al. - 1999
149	V.: Typechecking for xml transformers - Milo, Suciu, et al.
142	J.D.: Monotone data flow analysis frameworks - Kam, Ullman - 1977
127	XDuce: A statically typed XML processing language - Hosoya, Pierce
122	Precise Analysis of String Expressions - Christensen, Møller, et al. - 2003
112	Practical virtual method call resolution for Java - Sundaresan, Hendren, et al.
106	DTD inference for views of XML data - Papakonstantinou, Vianu - 2000
105	Extensible markup language (XML) 1.0 (second edition - Bray, Paoli, et al. - 2000
75	Extending Java for high-level web service construction - Christensen, Møller, et al.
75	Haskell and XML: Generic combinators or type-based translation - Wallace, Runciman - 1999
66	Effective Java - Programming Language Guide - Bloch - 2001
54	WASH/CGI: server-side web scripting with sessions and typed, compositional forms - Thiemann - 2002
50	XML: Generic Combinators or TypeBased Translation - Haskell - 1999
43	XML Schema part 1: Structures - THOMPSON, BEECH, et al. - 2001
41	XMλ: A functional language for constructing and manipulating XML documents - Meijer, Shields - 1999
36	Towards static type checking for XSLT - Tozawa - 2001
28	Typechecking top-down uniform unranked tree transducers - Martens, Neven - 2002
28	ET AL: XHTML 1.0 : The Extensible HyperText Markup Language (Second Edition - PEMBERTON
25	The XML typechecking problem - Suciu - 2002
24	Unifying tables, objects, and documents - Meijer, Schulte - 2003
22	Static analysis for dynamic XML - Christensen, Møller, et al. - 2002
18	Type Checking in XOBE - Kempa, Linnemann - 2003
16	Xsl transformations (xslt) version 2.0 - KAY - 2007
14	XSL transformations (XSLT specification - Clark - 1999
13	The metafront system: Extensible parsing and transformation - Braband, Schwartzbach, et al. - 2003
12	Frisch: CDuce: a white paper - Benzaken, Castagna, et al. - 2002
11	A Runtime System for XML Transformations in Java - Christensen, Kirkegaard, et al. - 2004
11	al.: XQuery 1.0 and XPath 2.0 Formal Semantics. W3C Specification - Draper, et
11	Document Structure Description 2.0, December 2002 - Møller
10	XML path language - Clark, DeRose - 1999
9	Boag et al. XQuery 1.0: An XML Query Language. W3C Recommendation. http://www.w3.org/TR/xquery - Scott - 2007
8	Regular object types - Gapayev, Pierce - 2003
7	An Approach to High-Level Language Bindings to XML - Simeoni, Manghi, et al. - 2002
6	XML Data Binding Resources - Bourret - 2003
5	Transforming XML Documents using fxt - Berlea, Seidl - 2002
5	SXSLT: Manipulation language for XML - Kiselyov, Krishnamurthi - 2003
5	Experimenting with the Circus language for XML modeling and transformation - Vion-Dury, Lux, et al. - 2002
4	A type-safe macro system for XML - Perst, Seidl - 2002
4	Notes Series NS-02-6. Available from http://www.brics.dk/JWIG/manual - BRICS - 2002
2	Projector – a partially typed language for querying XML - Connor, Lievens, et al. - 2002
2	et al., "XQuery 1.0: An XML query language - Boag
2	The XML revolution - technologies for the future Web - Møller, Schwartzbach - 2001
1	Document Structure Description 2.0," December 2002, BRICS - Mller
1	et al., "XHTML 1.0: The extensible hypertext markup language - Pemberton
1	Amazon web services," http://associates. amazon.com/exec/panama/associates/join/developer/ resources.html - com - 2002
1	et al., "Document Object Model (DOM) level 1 specification - Apparao - 1998
1	2002, Notes Series NS-02-6. Available from http://www.brics.dk/JWIG/manual - Christensen, Mller
1	Efficient representation of XML templates," 2003 - Christensen, Mller, et al.
1	Java Servlet Specification, Version 2.3," 2001, Available from http://java.sun.com/products/servlet - Microsystems