区间抽象域相关硕士博士期刊学术论文 - 信丰网

区间抽象域相关论文

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

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

学位

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

基于抽象解释的程序变量范围研究

目前,软件应用已经渗透到人们生活的方方面面,软件质量已经引起人们普遍关注。程序作为软件的核心,其正确性是保证软件质量的前提......

学位

静态分析抽象解释区间抽象域上下文状态八边形抽象域

看过本文同时还关注