Analysis of Imperative XML Programs

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]

@inproceedings{BurkePRR07,
  title = {Analysis of Imperative XML Programs},
  author = {Michael G. Burke and Igor Peshansky and Mukund Raghavachari and Christoph Reichenbach},
  year = {2007},
  doi = {10.1007/978-3-540-75987-4_15},
  url = {http://dx.doi.org/10.1007/978-3-540-75987-4_15},
  tags = {program analysis, XML, XML Schema, analysis},
  researchr = {https://researchr.org/publication/BurkePRR07},
  cites = {0},
  citedby = {0},
  pages = {216-230},
  booktitle = {Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers},
  editor = {Marcelo Arenas and Michael I. Schwartzbach},
  volume = {4797},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75986-7},
}