【摘 要】
：
根据类型系统思想,为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统.机器语言代码虽然是一种无类型的二进制编码,但其类型信息被隐含在指令的操作语义
【机 构】
：
中国人民解放军电子工程学院系统工程教研室,中国科学技术大学计算机科学与技术系
【基金项目】
：
国家自然科学基金项目 ( 60 173 0 49)
论文部分内容阅读
根据类型系统思想,为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统.机器语言代码虽然是一种无类型的二进制编码,但其类型信息被隐含在指令的操作语义中,利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性.由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令,因此,这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中.
其他文献
【正】 嘉兴猪又名嘉兴黑猪,是太湖猪的一个地方类群。具有肉质佳美、性情温驯、遗传性能稳定、杂交效果显著等优良特性,尤其是高产繁殖性能遐迩闻名,是世界瞩目的珍贵猪种资
哲学家冯友兰在《中国哲学史》中对孔子有个很中肯的评价，他说：“孔子是中国第一个使学术民众化的，以教育为职业的‘教学老儒’；他开战国游说之风：他创立，至少亦发扬光大，中国之非农
历史类蒙学读物的编纂与普及在中国古代历史教育中占有重要地位。以此作为个案分析、思考当时条件下中国古代历史教育的特有价值,无疑是在某种程度上对当今史学教育的一种反
目的探讨胸腺法新对晚期非小细胞肺癌(NSCLC)化疗患者近远期疗效和预后的影响。方法选取2012年1月至2014年6月收治的晚期NSCLC患者102例,按随机数字表法将其分为观察组与对照
目的建立一种操作简便、稳定可靠的局灶性脑缺血模型。方法分别按Zealonga线栓法和改进线栓法制作局灶性大脑中动脉阻塞（middle cerebral artery occlusion，MCAO）模型，并于术后24
物种寿限受多种因素调控,根据现有假说,DNA甲基化与组蛋白甲基化对寿限起主动作用,并引起特征性形态学改变及衰老性生长停滞。果蝇中DNA甲基化系统包含唯一的甲基转移酶dDNMT
东晋时代生成的玄言诗，以述说形而上的玄虚哲理为其主要职志，并风靡笼罩诗坛数十年之久。厥类诗作之所以在此际大量出现，除了受曹魏、西晋以来士人清谈习尚之直接影响外，还同佛法
“品牌经营”是企业为了提高产品竞争力,增加企业整体竞争优势而进行的、围绕企业及其产品品牌而展开的一系列形象塑造活动,其最终目的是为了打造名牌产品,形成名牌企业。通
<正>汽修考勤工作是汽修企业人力资源管理的一项重要内容。它的统计结果反映了汽修员工在企业各个汽修岗位的工作状况,是汽修财务部门发放工资奖金的重要依据,也为他们年度考
爱德华·科克是英国近代早期的著名法学家。他坚持普通法至上原则,认为普通法可以审查议会制定法,并可裁定其无效。这一司法审查思想由于特定的历史环境未能在英国扎根,但在