<< 2009/10/18 | ホーム | 2009/10/20 >>

Analysis of Imperative XML Programs

同じ XPath を何度も評価したり、同じツリーを何度もトラバースしたりしていないか解析する手法の提案。どんな XPath を評価したかということを型情報とし、制御フローを考慮した型システムとして定式化。

author="Michael G. Burke and Igor Peshansky and Mukund Raghavachari and Christoph Reichenbach",
title="{Analysis of Imperative XML Programs}",
booktitle="DBPL 2007",
publisher="Springer",
volume="4797",
series="LNCS",
pages="216--230",
year="2007"

タグ : ,
コメント追加 RSS feed for responses to this blog entry
投稿者 kw : 2009/10/19 11:05:00 JST #