...种代码扫描技术，对于已知类型漏洞，该技术具有高效且准确率高的特点，但是并不能检测未知类型的漏洞；类型推导(Type Inference)是针对编程语言本身的检测技术，自动化程度高，但是这种检查只能针对控制流不相关的漏洞；模型检测(Model Detection)是一种较为成...
基于254个网页-相关网页
...中某些结构有类型，但没有明确给出类型，需要通过相关结构的信息去 推断，确定相应类型的这个过程就是类型推理（type inference） 在许多环境中需要做类型推理： 处理表达式过程中，需要从运算对象类型和运算符性质，推断运算结果的 类型，以便完成更大表达...
基于68个网页-相关网页
编译器的主要任务之一是数据类型信息的计算和维护 (类型推论 (type inference))以及使用这 些信息确保程序的每一部分在语言的类型规则作用下有意义 (类型检查 (type checking))。
基于48个网页-相关网页
Local Variable Type Inference 隐含类型局部变量
local type inference 本地类型推断 ; 区域型别推断
Types and Type Inference 类型与类型推导 ; 类型与类型推断
Better type inference 更好的类型推断
Type inference for loop variables 循环变量的输入推断
In Type Inference 在类型推断
Lochas Variset Type Inference 隐含类型局部变量
type inference mechanism 类型推理机制
type inference algorithm 类型推理算法
This paper givesthe important data structures of implementing polymorphic the uqies analyzes the type inference ofSML functional language compiler and reveals the essence and implementation techniques relatedto polymorphic types.
本文给出实现多态类型的重要数据结构，通过剖析SML函数式程序设计语言编译程序中的类型推导过程，揭示了多态类型的基本特征及其实现技术。
参考来源 - 函数式语言编译中多态类型的实现技术 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
应用推荐