abstract interpretation

网络释义

1.	抽象解释抽象解释(abstract interpretation)理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近(approxiamation)程序 … www.jos.org.cn
2.	抽象释义这就是抽象释义（Abstract Interpretation）方法的根本：我们抽象出程序的某些信息，对这些信息进行自动分析，来尝试确定程 … www.guokr.com
3.	抽象解释理论微软开发了一套根据抽象解释理论（Abstract Interpretation）为基础的静态分析器，作为JAVA部类的验证和模组分析。这个分 … xbahasa2.blogspot.com

4.	抽像解释抽像解释（abstract interpretation）? 也称为符号执行（symbolic execution） www.slideshare.net

更多释义

收起释义