机译:简化运算符
CNRS/VERIMAG, 2 avenue de Vignate, 36810 Gieres, France;
abstract interpretation; widening; termination; abstraction; well-founded tree; higher order; inductive definition; coq;
机译:扩大和缩小运算符以进行抽象解释
机译:扩大Powerset域的运营商
机译:凸多面体的精确加宽算子
机译:精确加宽运算符,用于通过抽象解释证明终止
机译:封闭凸锥上的正算子,Z算子,Lyapunov秩和线性博弈。
机译:战时或以后工业医学专题讨论会:第一部分:工业医学:其扩展领域:前言与前进!还是工业医学的广阔领域
机译:简化运算符