主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020年专刊出版计划 微信服务介绍 最新一期:2019年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
戴晓君,陈海明.采用了剪枝优化的子类型关系判定算法.软件学报,2010,21(7):1481-1490
采用了剪枝优化的子类型关系判定算法
Subtyping Algorithm with Pruning Optimization
投稿时间:2008-12-24  修订日期:2009-11-26
DOI:
中文关键词:  XML  静态类型化语言  类型检查  子类型关系判定  算法优化
英文关键词:XML  statically typed language  type checking  subtyping  algorithm optimization
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60573013, 60721061 (国家自然科学基金)
作者单位
戴晓君 中国科学院 软件研究所 计算机科学国家重点实验室,北京 100190 
陈海明  
摘要点击次数: 3360
全文下载次数: 3355
中文摘要:
      静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效.
英文摘要:
      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 XDuce’s 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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利