论文部分内容阅读
文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示，程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ。介绍了这一规范说明方法ＳＭＯＰＴ在反编译系统ＯＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用。
程序变换的一种规范说明方法
【摘 要】
：
文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示，程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ。介绍了这一规范说明方法ＳＭＯＰＴ在反编译
【机 构】
：
合肥工业大学微型计算机应用研究所
【出 处】
：
计算机研究与发展
【发表日期】
：
1998年1期
其他文献
目的探究生活方式健康教育干预对脂肪肝患者体检指标的影响。方法 190例脂肪肝患者,随机分为研究组(96例)和对照组(94例)。对照组行常规护理,研究组在此基础上行生活方式干预
四、守门员的技术训练和要求下面讲解一下初级、中级和高级守门员需要掌握的基本技术和能力.不是每个守门员都符合下面要讲的要求.很多守门员存在某些弱点,还有一些守门员在
目的探讨和分析心理护理在血液净化护理中的应用效果。方法选取2013年11月至2016年11月期间在本院接受临床血液净化治疗的80例患者作为研究对象,按照随机数字法分为两组,每组
1 前言 短道速滑的运动伤病问题已成为困扰运动训练和影响运动成绩的原因之一。本文对吉林省体工队、长春市体工队、白城市体工队及黑龙江省部分短道速滑运动员的伤病进行了
短距离滑跑技术基本与长距离相同.短距离是以创造最大速度为目的,所以在技术结构和具体技术细节上又与长距离有所区别.其区别是:滑行步伐短、频率快,蹬冰力量大,上体姿势高,
一、问题的提出传统的速滑教学与训练,大都凭经验来安排滑跑段落、练习强度和间歇时间,很少考虑到选用这些手段的科学性和实效性.那么,哪些手段对提高500米速滑成绩较为理想
目的本次主要对手术室护理模式用于乳腺癌手术患者护理中的临床效果进行探讨分析,为临床护理提供依据。方法选取我院2014年7月至2015年12月收治并确诊的乳腺癌手术患者共100
目的通过对脑出血患者采取综合康复护理措施,研究对其生活质量的影响。方法选取2013年1月-2015年12月四川省自贡市第四人民医院收治的50例脑出血患者作为研究对象,随机均分为