采用了剪枝优化的子类型关系判定算法 | |
戴晓君 ; 陈海明 | |
刊名 | 软件学报
![]() |
2010 | |
卷号 | 21期号:7页码:1481-1490 |
关键词 | XML 静态类型化语言 类型检查 子类型关系判定 算法优化XML statically typed language type checking subtyping algorithm optimization |
ISSN号 | 1000-9825 |
其他题名 | subtyping algorithm with pruning optimization |
中文摘要 | 静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效. |
学科主题 | Computer Science |
语种 | 中文 |
公开日期 | 2011-05-23 |
附注 | Statically typed XML processing languages show new ways of processing XML data. However, current languages are not efficient enough. This paper studies the decision problem of subtyping relation which is an important issue of the languages, and optimizes XDuces subtyping algorithm with a pruning strategy. Experimental data show the efficiency of the algorithm increased 20% averagely. This optimization strategy can be applied to other languages which use similar subtyping algorithm. |
内容类型 | 期刊论文 |
源URL | [http://124.16.136.157/handle/311060/9814] ![]() |
专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
推荐引用方式 GB/T 7714 | 戴晓君,陈海明. 采用了剪枝优化的子类型关系判定算法[J]. 软件学报,2010,21(7):1481-1490. |
APA | 戴晓君,&陈海明.(2010).采用了剪枝优化的子类型关系判定算法.软件学报,21(7),1481-1490. |
MLA | 戴晓君,et al."采用了剪枝优化的子类型关系判定算法".软件学报 21.7(2010):1481-1490. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论