论文标题
计划分析（开胃菜）
Program Analysis (an Appetizer)
论文作者
论文摘要
这本书是对程序分析的介绍，其本书要比我们的高级计划分析原则（Springer，2005年）要重要得多。该书没有将流程图作为程序模型，而是遵循我们的入门书籍的介绍性书籍（Springer，2019），使用程序图作为程序模型。根据我们的经验，这使我们的计算机科学和计算机工程专业的学生更容易访问丹麦技术大学的计算机科学和计算机工程专业的学生。在这里，我们逐渐用当前书籍中的材料代替了程序分析原理中更基本的部分。
This book is an introduction to program analysis that is meant to be considerably more elementary than our advanced book Principles of Program Analysis (Springer, 2005). Rather than using flow charts as the model of programs, the book follows our introductory book Formal Methods an Appetizer (Springer, 2019) using program graphs as the model of programs. In our experience this makes the underlying ideas more accessible to our computer science and computer engineering students on the master course 02242: Program Analysis at The Technical University of Denmark. Here we have gradually replaced our use of the more elementary parts of Principles of Program Analysis with material from the current book.
