Institutional Repository
| 采用了剪枝优化的子类型关系判定算法 | |
| Alternative Title | subtyping algorithm with pruning optimization |
| 戴晓君; 陈海明 | |
| 2010 | |
| Source | 软件学报
 |
| ISSN | 1000-9825 |
| Volume | 21Issue:7Pages:1481-1490 |
| English Abstract | 静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效. |
| Keyword | Xml 静态类型化语言 类型检查 子类型关系判定 算法优化xml Statically Typed Language Type Checking Subtyping Algorithm Optimization |
| Department | 中国科学院软件研究所计算机科学国家重点实验室; |
| Subject | Computer Science |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/9814 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 戴晓君,陈海明. 采用了剪枝优化的子类型关系判定算法[J]. 软件学报,2010,21(7):1481-1490. |
| APA | 戴晓君,&陈海明.(2010).采用了剪枝优化的子类型关系判定算法.软件学报,21(7),1481-1490. |
| MLA | 戴晓君,et al."采用了剪枝优化的子类型关系判定算法".软件学报 21.7(2010):1481-1490. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 采用了剪枝优化的子类型关系判定算法.pd（571KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment