程序分析与验证讲义_中科大陈意云

程序分析与验证是程序语言学的一个重要的学术前沿专题,也是目前程序设计理论的研究热点。本讲义是我国编译技术与程序语言理论权威中科大陈意云教授的博士研究生课程讲义,该课程属于计算机领域的高级课程,先修课程包括计算理论、编译原理、程序设计语言原理、数据结构等。压缩包内附陈意云和中科大-耶鲁可信计算研究所介绍。