浮点数表达式约束问题相关硕士博士期刊学术论文 - 信丰网

浮点数表达式约束问题相关论文

一类范围约束的浮点数静态分析方法

抽象解释理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近程序的不动点理论。它的一个重要应用是分析程序中的变......

学位

程序静态分析抽象解释理论区间抽象域浮点数表达式约束问题加宽算子或者是收缩算子

看过本文同时还关注