机译:在循环程序复杂性分析中的确定性边缘
Static analysis; Loop programs; Subrecursive programming languages;
机译:在循环程序复杂性分析中的确定性边缘
机译:验证无循环程序的复杂性,如差异私密
机译:低复杂度全数字锁频环作为500 MHz参考时钟发生器的开发,用于现场可编程门阵列
机译:循环程序终止集的可判定性分析
机译:静态分析,用于从具有所有权域批注的面向对象的程序中提取数据流边缘。
机译:使用差异约束的命令式程序的复杂性和资源限制分析
机译:循环程序复杂性分析中可判定性的研究