数组抽象相关硕士博士期刊学术论文 - 搜论网

数组抽象相关论文

一个面向C和Fortran数值程序的静态分析工具

程序的正确性验证一直以来都是计算机科学中的一个挑战性问题，抽象解释理论为程序静态分析提供了一个通用框架，可以在编译时自动地推......

期刊

静态分析抽象解释值范围分析数值抽象域数组抽象 static analysis abstract interpretation value ran

看过本文同时还关注