...
机译:现场敏感的不可达性和非周期性分析
Department of Computer Science, University of Trier, Germany;
Department of Computer Science, University of Verona, Italy;
Data-flow analysis; Interprocedural static analysis; Constraint-based analysis; Field-sensitive analysis; Abstract interpretation;
机译:自动SIMD向量化的面向循环的数组和字段敏感指针分析
机译:使用场传播进行状态图提取的场敏感功能指针分析
机译:使用场传播进行状态图提取的场敏感功能指针分析
机译:通过字段不敏感分析进行字段敏感值分析
机译:场敏感型光电导采样器和探头
机译:磁场敏感的自由基对动力学聚丙烯醚桥供体-受体系统
机译:场敏感不可达性和非周期性分析
机译:学校的博物馆(到达无法到达的观众)。最终报告,1993年2月2日 - 1995年12月14日