类型推断相关论文
随着智能制造的快速发展,机器视觉在生产制造过程中的作用愈发重要,目前主流的PLC开发平台也开始增加视觉检测功能。机器视觉在PLC......
JavaScript是一种基于原型的动态弱类型脚本语言。作为弱类型语言,JavaScript程序中不能指定每个变量的类型,其执行器——JavaScri......
学位
C(o)del是一种发展中的逻辑程序设计语言,目前还没有开发出编译器.G(o)Mel语言的类型系统独特于通常的逻辑程序设计语言,语义上已......
数据流分析和处理是计算机应用最常见的工作之一,实际系统常常包括不同频率的数据流,而现有的程序语言要求在程序中对数据频率进行......
目前大多数的源码安全审计工具在整型错误的检测上具有局限性,往往只能检测整型溢出类型的漏洞。针对这个问题,对已有的系统依赖图......
类型限定词可以精化标准类型,提高类型系统的表达能力.流不敏感的类型限定词推断已被用于CQual架构,以提高C程序的质量.然而,类型......
Goedel是一种发展中的逻辑程序设计语言，目前还没有开发出编译器。Goedel语言的类型系统独特于通常的逻辑程序设计语言，语义上已初步......
针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础,利用类......
Java8通过添加众多诸如函数式接口、Lambda表达式、类型推断、方法引用、接口默认方法以及增强的Functional类库等新特性,实现了原......
整数缺陷是一类与整数的有限表示相关的程序缺陷,对软件系统的可靠性和安全性均有重要影响。人工审查难以发现涉及复杂程序逻辑的......
