Java程序中间形式的谓词抽象算法解析
一种针对Java程序中间形式的谓词抽象算法，该算法可以将Java程序抽象成为布尔程序，有效解决了状态空间爆炸的问题。本文对算法的原理、实现以及相关数据结构和语法进行了详细讲解，帮助读者更好地理解和应用该算法。
下载地址
用户评论
一种针对Java程序中间形式的谓词抽象算法，该算法可以将Java程序抽象成为布尔程序，有效解决了状态空间爆炸的问题。本文对算法的原理、实现以及相关数据结构和语法进行了详细讲解，帮助读者更好地理解和应用该算法。
