机译:仿射环不变性检测的模块化静态分析方法
Abstract interpretationfixed point computationloop invariant;
机译:通过变异,动态分析和静态检查推断循环不变性
机译:基于静态分析的商品操作系统不变性检测
机译:角域阶次跟踪分析法检测闭环感应电动机的静态偏心故障
机译:循环不变数据结构的静态检测
机译:仿射代数C(,2)('(1))的模不变量。
机译:完全仿射钙成像数据的交叉会话登记的不变方法
机译:仿射环不变性检测的模块化静态分析方法