Abstract Domains; Abstract Interpretation; Static Analysis; Widening Operators;
机译:扩大和缩小运算符以进行抽象解释
机译:关于抽象解释的幂集运算符
机译:抽象凸函数可表示的抽象单调算子
机译:精确加宽运算符,用于通过抽象解释证明终止
机译:抽象空间中的非线性算子和微分方程
机译:Lipschitz域上的椭圆微分算子和抽象边值问题
机译:加宽和缩小运算符的抽象解释
机译:数据库查询中逻辑运算符解释的探索性研究(Verkennende studie van de Interpretatie van Logische Operatoren bijhet Bevragen van een Database)