%0 Journal Article
%T Subtyping Algorithm with Pruning Optimization<br>采用了剪枝优化的子类型关系判定算法
%A DAI Xiao-Jun
%A CHEN Hai-Ming
%A <br>戴晓君
%A 陈海明
%J 软件学报
%D 2010
%I 
%X 静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效.
%K XML
%K statically typed language
%K type checking
%K subtyping
%K algorithm optimization<br>XML
%K 静态类型化语言
%K 类型检查
%K 子类型关系判定
%K 算法优化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=2052452A0C56061ABCD6F11EDB465C2F&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=DF92D298D3FF1E6E&sid=AB07CD602348A2CC&eid=4EFBE760AF9E3A64&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=21