静态检测Ada程序死锁的方法  

作　　者：陈曦[1] 钱红兵[1] 

机构地区：[1]北京航空航天大学软件工程研究所

出　　处：《计算机工程与设计》1997年第3期60-64,共5页Computer Engineering and Design

摘　　要：文中介绍几种常用的静态检测Ａｄａ程序死锁的方法，分析了它们的适应性和不足之处，并指出ＮＰ问题和检测结果的准确性是死锁检测面临的主要问题。

关 键 词：ADA语言 静态检测 死锁 程序语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]