论文部分内容阅读
提出了一种基于分层思想的,并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法,从而降低类型系统实现的难度以及产生程序错误的可能性,并且简化高级语言的中间表示,便于后端的代码生成和优化。
基于分层思想的变量类型提取方法
【摘 要】
：
提出了一种基于分层思想的,并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法,从而降低类型系统实现的难度以及产生程序错误的可能性,并且简化高级语言的中间表示,便于后端的代码生成和优化。
【机 构】
：
重庆邮电大学计算机科学与技术学院
【出 处】
：
重庆邮电学院学报(自然科学版)
【发表日期】
：
2006年04期
【基金项目】
：
重庆市科委自然科学基金项目（CSTC2005BB2012）
其他文献
目的:研究阳和汤对阳虚证Lewis肺癌小鼠抑瘤率、NK细胞活性、Bax、Bcl-2、VEGF水平的影响。方法:将40只小鼠随机分为阳虚Lewis组、阳和汤临床等效剂量组、阳和汤2倍临床等效
针对米村煤矿280061炮放工作面回采过程遇到的问题,采取了落底、端头使用WHZJ型自动歩移支架、扎杆、迁巷等措施,提高了回收率和煤质;采取了保护输水管路、敷设导水管路、增
今年日照对早稻农业生产影响极大,两次寒潮虽然对水稻死苗烂秧影响不严重。但自3月18日起到4月15日止,温度一直在16℃上下摆动,阴雨绵绵,光照时数几乎等于零。低温阴雨无日照
文章基于浙江省高技术产业R&D活动投入产出情况,探讨财税政策支持高技术产业发展的作用机理,进一步利用2006—2016年浙江省高技术产业的时间序列数据建立回归模型,实证检验财
本文报告了肇庆市羚羊峡古驿道上古桥梁的现状,并探讨了如何做好这批古桥梁的保护措施。期待当地政府能够对这批古桥梁在进行有效保护的前提下活化利用。
简要介绍了OWLAN产生的背景及技术概况。研究了OWLAN中无线网卡的设计过程,进而对无线网卡和SIM卡的结合做了研究,提出了一个初步的技术方案,在方案的设计过程中主要考虑了移动终端鉴权,漫游,计费等方面的问题。
岭南地区的广府、潮汕、客家三大民系,自成系统,文化特点鲜明,而且有着一定程度的交流融合。但相对来说,客家与潮汕的交往最为密切,不仅在地域上一衣带水,在政治、经济和文化
重构已经成为面向对象领域中的研究热点与最佳实践之一,从重构的定义、什么时候进行重构、重构的目标、如何进行重构、重构与极限编程等几个方面详细介绍了重构技术,并给出了代码示例,演示重构的过程。
教育不仅是知识技能的教育，更加包括情感教育。作为最重要的心理因素，正确的情感态度是学生健全人格的重要组成部分。素质教育下，情感教育已经成为促进学生全面发展不可或缺的组
随着Internet的发展,具有网络接口的家用设备增多,使通过网络对这些网络用具(NA)进行控制成为可能,对会话初始化协议(SIP)经恰当扩展后正好可满足这一发展需要,而在控制中网络安全这一环节的重要性不言而喻。为此,在对SIP进行扩展的基础上,提出了借用HTTP验证机制,并利用安全/多用途Internet邮件扩展(S/MIME)来实现SIP对网络用具安全控制的一种方法,给出了网络架构及实现原理。