...
机译:具有用于简单编程语言的信息流的安全静态分析功能的转换器
Language security; Static analysis; Information flow;
机译:具有用于简单编程语言的信息流的安全静态分析功能的转换器
机译:静态分析,用于以一种简单的命令式语言量化信息流
机译:三年回顾性安全性的编程语言和程序分析
机译:从编程语言和静态分析的角度看计算机安全
机译:静态类型的面向对象编程语言的模块化数据流分析。
机译:广泛使用的第一编程语言的评估框架和比较分析
机译:从编程语言和静态分析的角度看计算机安全
机译:论系统分析程序的执行程序和通用仿真语言翻译器的设计。