摘要
本文提出使程序分析的机械化效率得以提高的一种途径——广义归结,并证明了这一方法的正确性。
we propose an approach, that is the generalized resolution to analyse the program. improve the mechanical efficiency, and prove the method to be correct.
出处
《郑州大学学报（自然科学版）》
CAS
1990年第2期24-27,共4页
Journal of Zhengzhou University (Natural Science)
关键词
程序分析
广义归结
Program analysis, Generalized resolution, Describing formula.
