[PRL] Static Analysis of XML Transformations in Java

[Mitchell Wand]

The current issue of IEEE TOSE (3/2004) contains an article by
Kirkegaard, Moller, and Schwartzbach entitled

Static Analysis of XML Transformations in Java

"In this article we wish to

1.  Incorporate XML into Java with afamily of basic but high-level
    operations for defining transformations and

2.  Provide static type checking, tht is, verify at compile time that
    x_out in L(Schema_out) given that x_input_i in L(Schema_in_i) for
    all i.  

In comparison, the exiting approaches of using text strings or DOM
trees do not support static type checking."

Sounds like it might be interesting for several reasons.

I have a paper copy if it's not available electronically for some
reason.

Still using paper for some things,
--Mitch