语义等价相关论文
分支互模拟等价关系是由van Glabbeek和Weijland提出的进程等价关系。分支互模拟对内部动作采用比较合理的抽象处理，对进程的分支性......
程序的等价转换技术在程序的分析评价中有着广泛的应用前景。由于目前程序分析评价主要停留在程序输出结果的比较阶段,未深入到程......
在数据库应用系统中，查询速度的快慢直接影响到应用系统的生命力。数据库用查询计划表示查询优化器选择的查询优化策略，查询计划的好......
软件程序是按一定顺序排列的指令序列,指令的排列组合构成了千变万化的程序语义.指令顺序重排通常会相应地导致程序语义的变化,通......
同步数据流语言是一种广泛应用于核电及其他安全关键领域的语言,在同步数据流语言到顺序执行语言的翻译转换过程中,语义等价要保证......
两国之间签订的条约由两国代表共同商讨成文,在对比分析条约的两种语言版本时,若没有界定条约的官方成文语言,则应该与分析传统翻......
采用网络CAT模式进行各种考试已越来越广泛,但受数学模型的限制,有关题型均为选择、判断等标准化试题,对于需要严格考查考生编程能......
数据仓库中存在着巨大容量的低粒度数据，其存储策略的好坏直接影响到联机分析处理和数据挖掘的性能及效率。该文分析了数据仓库系统......
由于使用环境和新技术的不断变化，软件演化的控制变得日趋复杂．为了提高软件演化活动的可视化和形式化支持程度，结合谓词逻辑和软件演......
针对现有C程序评测方法评分结果过于粗糙的问题,提出一种基于线性路径匹配的C程序评分方法。将待判定程序转化为语义等价的标准形......
目的对英文版格罗宁根衰弱指标(Groningen Frailty Indicator)进行中文翻译,并测试其语义等价、内容效度和表面效度,验证问卷接受......
在协同产品开发领域,为了实现产品数据语义互操作,提出了一个基于本体的产品数据语义互操作框架。首先,框架采用标准化方法,构建产......
利用虚拟指令作为中间语言来构建可重用指令集模拟器是解决模拟器可重用性的重要技术。介绍了可重用指令集模拟器的工作原理,提出......
收集整理规范术语的异名,用于开发面向应用的术语纠错工具,可使规范科技术语的宣传与推广工作达到事半功倍的效果。规范词异名是指......
通过复用已有的开源代码或内部遗留代码,可极大地提高软件开发效率、降低开发成本,而准确地搜索到所需代码是代码复用的前提和基础......
