课程简介 围绕程序设计语言的研究（课程涉及内容用 绿色表示) 语法：形式语言和自动机理论， 语法分析的实现 技术 语义：公理语义、操作语义、指称语义 形式描述技术还有：代数规范、范畴论、属性 文法 程序设计的范型：命令式语言、函数式语言、逻 辑程序设计语言、面向对象程序设计语言、并行 程序设计语言课 程 简 介 围绕程序设计语言的研究（课程涉及内容用 绿色表示） – 语法：形式语言和自动机理论，语法分析的实现 技术 – 语义：公理语义、操作语义、指称语义 形式描述技术还有：代数规范、范畴论、属性 文法 – 程序设计的范型：命令式语言、函数式语言、逻 辑程序设计语言、面向对象程序设计语言、并行 程序设计语言