Precise and Fast XML typechecking algorithm based on transducer theory

已经对专门处理XML（一种国际标准数据格式）的语言的类型检查和相关技术进行了研究。为了处理XML中称为模式的特殊功能，利用了树换能器理论，并通过使用交替的树自动机开发了一种有效的类型检查算法。此外，还研究了具有多返回值扩展的换能器、基于一元二阶逻辑的XML查询以及XML多态性。所有这些结果已归纳在一本英文专著中。

Research has been conducted on typechecking and related techniques for languages specialized to processing of XML, an international standard data format. In order to treat the special functionality of XML called schemas, theory of tree transducers has been exploited and an efficient typechecking algorithm has been developed by using alternating tree automata. Furthermore, transducers extended with multiple return values, XML query based on monadic second-order logic, and XML polymorphism have also been studied. All these results have been summarized in a monograph written in English.