生产管理--一种用于指针程序安全性证明的指针逻辑 精品

一种用于指针程序安全性证明的指针逻辑陈意云 华保健 葛 琳 王志芳（中国科学技术大学计算机科学与技术系，合肥）（中国科学技术大学苏州研究院软件安全实验室，苏州）摘 要：在高可信软件的各种性质