系统介绍程序分析的理论基础与实践方法，适合研究生和研究人员阅读。
作者Flemming Nielson,Hanne R. Nielson,Chris Hankin
本书系统介绍了程序分析的理论基础，包括：