Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach. Analysis of Imperative XML Programs. In Marcelo Arenas, Michael I. Schwartzbach, editors, Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Volume 4797 of Lecture Notes in Computer Science, pages 216-230, Springer, 2007. [doi]
Abstract is missing.