Static analysis of active XML systems.

Serge Abiteboul, Luc Segoufin, Victor Vianu

Browse the full PODS paper archive.