%0 Journal Article
%T 采用了剪枝优化的子类型关系判定算法
%A 戴晓君？
%A 陈海明？
%J 软件学报
%P 1481-1490
%D 2010
%X 静态类型化xml处理语言为处理xml数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对xduce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化xml处理语言都有效.
%K xml
%K 静态类型化语言
%K 类型检查
%K 子类型关系判定
%K 算法优化
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3806&flag=1