【摘 要】
：
类型推理是一种轻量级的形式化方法,通过对程序变量和语句的类型这些关键信息进行推理,可以更好地理解程序行为.传统的类型推理方法依赖于语法规则与类型推演规则,然而,随着
【基金项目】
：
国家自然科学基金资助项目(61872272,61640221)
论文部分内容阅读
类型推理是一种轻量级的形式化方法,通过对程序变量和语句的类型这些关键信息进行推理,可以更好地理解程序行为.传统的类型推理方法依赖于语法规则与类型推演规则,然而,随着软件技术的发展,在动态语言等新的软件应用场景中,传统的类型推理方法在缺乏运行时信息的时候无法在静态对类型进行推理.针对这些问题,近年来出现了很多基于机器学习的类型推理的方法.基于机器学习的方法,可以利用已有的动态类型信息,对新程序的类型进行静态的类型推理.文章系统地总结了各种基于机器学习进行类型推理的方法,总结其特点和存在的问题,并讨论了未来可
其他文献
本实验采用一种新型的复合混凝剂净水灵DH-3处理餐饮废水,再将处理后的水进行砂滤和活性炭吸附,深度处理后,可以达到国家排放标准,并且还确定了混凝沉淀处理的主要参数。
东北玉米带集约化农业中土壤磷素含量高、但早春低温天气不利于其生物有效性的发挥。提高春玉米苗期磷效率是协调玉米高产和磷资源高效的关键。本文通过室内模拟试验,研究玉
随着科技的发展,大量汽车新技术被运用到了汽车上来,使汽车更加智能化,在众多便捷系统当中,汽车巡航控制系统的使用方便了人们的生活,也给人们带来了担忧,本文将对汽车巡航控
固体水为干旱、半干旱地区的抗旱造林提供了一种新的途径.为了有效地指导其在野外造林的应用,在温室可控条件下,从植物水分状况、土壤含水量变化及微生物数量等方面,研究了固
<正>作为一个摄影爱好者,我经常身背相机,行走在海岸线上,烟台海滨壮美旖旎的风光,是我永恒的创作题材。当我把镜头对准大海的时候,海中一个小岛经常进入画面中,这就是崆峒岛
两端固支梁是工程中常用的一种结构,特别是在道路桥梁、建筑设计中应用较多。本文针对40a工字钢梁,上表面承受均布压力时的应力和变形,进行了理论分析和ANSYS有限元分析(采用
2010年度中国儿童社会学研究集中表现为三个主题：儿童生存与发展状况研究、未成年人保护研究和青少年犯罪问题研究。与2007年、2008年以及2009年儿童社会学研究的主题相比，本年
木偶戏是我国传统文化的瑰宝,是一种寓教于乐的艺术表现形式,具有极高的挖掘潜力。舞台美术设计是提升传统木偶戏艺术表现力与内涵的重要流程。几何图形是舞台美术设计重要因
最近,我观摩了一节四年级＂整数四则运算＂的练习课。有一道练习题,要求学生通过计算,从两种方案里选一种即可。课堂上学生已经选出了合算的方案,到此为止,应该说,教学任务已经完
对于英语中的中缀问题众说纷纭,依据中缀本身的形态学分析和国内外专家和学者对它的定义,认为它在英语中的确存在。中缀在名词、动词、形容词和副词中活跃地出现,可以分为可