摘要：计算机是无法对程序语言的产生人一样的“理解”的，对于计算机一个程序只是一个字符串。因此要在计算机上运行一段程序就需要把程序语言转化为机器语言，这个过程就是“编译”。编译的第一步（通常称为前端）就是对程序语言做词法分析和语法分析 。 词法分析 词法分析的任务是把一整串程序代码切分成一个一个的token 阅读全文

摘要：一段程序在形式上只是一个符号串，程序的语义是人对程序意义的理解。现在我们希望严格化地定义这种理解。 指称语义 下面要讨论的这种方式称为“指称语义”。它是定义程序语义的非常直接方式。指称语义基于抽象语法树，通过归纳定义出表达式的语义和程序语句的语义，描述程序运行的整体效果。 表达式的指称语义 首先定义 阅读全文