《程序分析方法》——2.3 小结

2.3 小结

　　本章介绍了元程序的基本概念和元级系统的组成、生成方式及应用。元程序是处理程序的程序，人们熟知的元程序包括编译器、解释器、类型检查器、定理证明器等。元程序由预处理、元级操作和后处理三部分组成。预处理用于将源程序转换成四元式、树等中间表示；类型识别、成分选择等元级操作用于对内部表示进行处理；后处理用于将中间表示转化为目标代码。元级系统可以使程序员对于目标程序的操作变得更加简单和便捷，元级系统的优势在于它可以提供多个目的的解决方案来满足在许多系统中可以重用的需求。但如何构造高效的元级系统依然是一个难题，这也会是未来几年程序分析领域要解决的重要问题之一。