...
机译:结合静态验证和动态分析的编译器IR进行关系程序推理
Karlsruhe Institute of Technology;
Karlsruhe Institute of Technology;
Karlsruhe Institute of Technology;
机译:组合灰色关联分析/差分动态规划的短期水电调度
机译:合金静态和动态特性的推理:一种纯粹的关系方法
机译:通过一阶优化来验证功能程序的关系属性
机译:使用编译器IR进行关系程序推理
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:Bellman的GAP-一种用于序列分析中动态编程的语言和编译器
机译:静态和动态技术相结合的面向对象程序的可用验证