Efficient static analysis of XML paths and types.

Pierre Genevs, Nabil Layada, Alan Schmitt

Browse the full PLDI paper archive.