| 采用了剪枝优化的子类型关系判定算法 |
| 其他题名 | subtyping algorithm with pruning optimization
|
| 戴晓君; 陈海明
|
| 2010
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 21期号:7页码:1481-1490 |
| 摘要 | 静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效. |
| 关键词 | Xml
静态类型化语言
类型检查
子类型关系判定
算法优化xml
Statically Typed Language
Type Checking
Subtyping
Algorithm Optimization
|
| 部门归属 | 中国科学院软件研究所计算机科学国家重点实验室;
|
| 学科领域 | Computer Science
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论