Verifying Recursive Active Documents with Positive Data Tree Rewriting

Blaise Genest, Anca Muscholl, Zhilin Wu

This paper proposes a data tree-rewriting framework for modeling evolving documents. The framework is close to Guarded Active XML, a platform used for handling XML repositories evo…