程序分析
Program Analysis (an Appetizer)
摘要：
这本书是对程序分析的介绍，它比我们的高级书籍《程序分析原理》（施普林格，2005）要初级得多。这本书没有使用流程图作为程序的模型，而是遵循我们的介绍性书籍Formal Methods an Appetizer（Springer，2019），使用程序图作为程序的模型。根据我们的经验，这使得我们的计算机科学和计算机工程专业的学生在丹麦技术大学的硕士课程02242：程序分析中更容易获得基本思想。在这里，我们逐渐用本书中的材料取代了对《程序分析原理》中更基本部分的使用。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
