首页 | 本学科首页   官方微博 | 高级检索  
     

采用了剪枝优化的子类型关系判定算法
引用本文:戴晓君,陈海明.采用了剪枝优化的子类型关系判定算法[J].计算机系统应用,2010,19(7):1481-1490.
作者姓名:戴晓君  陈海明
作者单位:中国科学院 软件研究所 计算机科学国家重点实验室,北京 100190
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60573013, 60721061 (国家自然科学基金)
摘    要:静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效.

关 键 词:XML  静态类型化语言  类型检查  子类型关系判定  算法优化

Subtyping Algorithm with Pruning Optimization
DAI Xiao-Jun and CHEN Hai-Ming.Subtyping Algorithm with Pruning Optimization[J].Computer Systems& Applications,2010,19(7):1481-1490.
Authors:DAI Xiao-Jun and CHEN Hai-Ming
Abstract:
Keywords:XML  statically typed language  type checking  subtyping  algorithm optimization
点击此处可从《计算机系统应用》浏览原始摘要信息
点击此处可从《计算机系统应用》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号