采用了剪枝优化的子类型关系判定算法
| Data(s) |
2010
|
|---|---|
| Resumo |
静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
戴晓君;陈海明.采用了剪枝优化的子类型关系判定算法,软件学报,2010,21(7):1481-1490 |
| Palavras-Chave | #Computer Science #XML #静态类型化语言 #类型检查 #子类型关系判定 #算法优化XML #statically typed language #type checking #subtyping #algorithm optimization |
| Tipo |
期刊论文 |
