朝向实用的宏树转换类型检查
摘要：宏树转换器（mtt）是一个重要的模型，既涵盖了许多有用的XML转换，又允许可判定的精确类型检查。本文报告了我们迈向实现mtt类型检查器的第一步，具有实际的效率。我们的方法是以类似于Tozawa的XSLT0类型检查的方式，将从向后推理得到的输入类型表示为交替树自动机。在这种方法中，类型检查简化为检查交替树自动机的空字符。我们提出了几种优化方法（笛卡尔因子化、状态分割）来优化向后推理过程，以便生成比朴素算法小得多的交替树自动机，并且我们提出了一种有效的算法来检查交替树自动机的空字符性，其中我们利用了局部优化的显式交替表示。我们的初步实验证实，我们的算法在合理的时间内可以对完整XHTML进行类型检查简单的转换。
作者：Alain Frisch (INRIA Rocquencourt), Haruo Hosoya (CST)
论文ID：cs/0701176
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23