位置：成果数据库 > 期刊 > 期刊详情页
采用了剪枝优化的子类型关系判定算法
  • ISSN号：1000-9825
  • 期刊名称：《软件学报》
  • 时间：0
  • 分类：TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]中国科学院软件研究所计算机科学国家重点实验室,北京100190
  • 相关基金：Supported by the National Natural Science Foundation of China under Grant Nos.60573013, 60721061（国家自然科学基金）
作者： 戴晓君[1], 陈海明[1]
关键词： XML, 静态类型化语言, 类型检查, 子类型关系判定, 算法优化, XML, statically typed language, type checking, subtyping, algorithm optimization
中文摘要：

静态类型化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.

同期刊论文项目
软件形式化方法
期刊论文 27 会议论文 49
基于文法的系统的模型和检验问题研究
期刊论文 9 会议论文 9
同项目期刊论文
On string languages generated by spiking neural P systems
上下文无关语言句子的反向自然枚举
Spiking neural P systems with extended rules: universality and languages
上下文无关文法的句子生成方法综述
Facilitating formal specification acquisition by using recursive functions on context-free languages
Handling languages with spiking neural P systems with extended rules
基于文法分支覆盖的短句子生成算法
A note on regular Petri nets
基于BDD的增量启发式搜索
A Direct Construction of Polynomial-size OBDD Proof of Pigeon Hole Problem
Ehrenfeucht-Fraisse Games in Finite Set Theory
Improved Bounded Model Checking for Universal Fragment of CTL
Compositional Reasoning in Intuitionistic Linear-Time μ-Calculus
Rate monotonic scheduling re-analysed
Clustering with feature order preferences
Symbolic decision procedure for termination
采用了剪枝优化的子类型关系判定
A Precongruence Format For Should Testing Preorder
Loop formulas for description logic programs
On the Expressive Power of Schemes
Connection between logical and algebraical approaches to concurrent systems
On hierarchically developing reactive systems
A Novel Formalization of Symbolic Trajectory Evaluation Semantics in Isabelle/HOL
片上多核处理器存储一致性验证
Robust Exponential Stability of Uncertain Singular Markovian Jump Time-delay Systems
改进的以SMT为基础的实时系统限界模型检测
Improved Bounded Model Checking for the Universal Fragment of CTL
直觉线性μ-演算中的合成推理
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609