机译:解决和利用 k i> -CFA悖论:阐明功能性与面向对象的程序分析
control-flow analysis; functional; k-cfa; m-cfa; object-oriented; pointer analysis; static analysis;
机译:解决和利用 k i> -CFA悖论:阐明功能性与面向对象的程序分析
机译:在并发的面向对象程序的部分顺序缩减中利用对象转义和锁定信息
机译:用于分子模拟和结构分析的多功能面向对象程序库的开发
机译:解决和利用K-CFA悖论 - 照明功能与面向对象的程序分析
机译:自动生成测试用例,以克服农药悖论,从而在面向对象的编程中进行集成测试。
机译:解决科菲悖论:雄激素受体在正常与恶性前列腺上皮细胞中起什么作用?
机译:在面向对象程序的共享分析中利用线性
机译:中子与电子衍射:一个悖论得到解决