static program analysis; modular analysis;
机译:没有静态分析的高阶动态语言的过程间专业化
机译:没有静态分析的高阶动态语言的过程间专业化
机译:更好的静态内存管理:改进基于区域的高阶语言分析
机译:ModuRes:有关并行高阶命令式编程语言的模块化推理的Coq库
机译:静态类型的面向对象编程语言的模块化数据流分析。
机译:COMBSECROTOMICS:使用秘书组织的高阶药物组合分析的务实方法框架
机译:无静态分析的高阶动态语言的过程间专业化