| 摘要: |
| 本文提出了一种自动程序分析方法，其基本思想是程序可以看成由一组基本成分根据特定的构造方式来构成，从而可以通过提供一组标准的分析方法，实现对程序的自动分析与理解． |
| 关键词: 格局，格局构造方法 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| A METHOD FOR PROGRAM ANALYSIS BASED ON PROGRAM PLAN |
|
Xing Guangrong,Zheng Guoliang,Li Xuandong
|
| Abstract: |
| his paper describes a method for automatically analyzing programs. Its implication is that a program consists of some elementary components which interact each other in stereotyped models, hence the authors may give some standard analyzing methods to analyze and understand programs automatically. |
| Key words: Plan, plan building method. |
