Compiler construction 表达编程语言语义（AST->；ASG）
您是否有任何指向与表达计算机语言语义相关的信息/研究的指针？同样，语法要求是使用编码/标记符号（例如EBNF）形式化的Compiler construction 表达编程语言语义（AST->；ASG）,compiler-construction,computer-science,Compiler Construction,Computer Science,您是否有任何指向与表达计算机语言语义相关的信息/研究的指针？同样，语法要求是使用编码/标记符号（例如EBNF）形式化的 谢谢关于这个问题有大量的文献。彼得·莫斯写了一本名为《动作语义学》的书。彼得·李（Peter Lee）和安德鲁·阿佩尔（Andrew Appel）都做过关于从语义的形式化描述生成编译器的博士论文；我想彼得的书出版了 科罗拉多州的Bill Waite小组开发了一个名为Eli的编译器构造工具包，涵盖了从词法分析到语法分析到语义的所有方面。汤姆·雷普斯（Tom Reps）在属性语法方
谢谢关于这个问题有大量的文献。彼得·莫斯写了一本名为《动作语义学》的书。彼得·李（Peter Lee）和安德鲁·阿佩尔（Andrew Appel）都做过关于从语义的形式化描述生成编译器的博士论文；我想彼得的书出版了 科罗拉多州的Bill Waite小组开发了一个名为Eli的编译器构造工具包，涵盖了从词法分析到语法分析到语义的所有方面。汤姆·雷普斯（Tom Reps）在属性语法方面的工作应用于语言语义学等领域。也有一些欧洲作品使用属性语法，但我记不起缩写词或人物 好的地方可能包括
- Don Knuth关于属性语法的原始论文
- 彼得·李的论文
- 伊莱
- 也许是彼得·莫斯的书，虽然我似乎记得我觉得它很沉重
- Don Knuth关于属性语法的原始论文
- 彼得·李的论文
- 伊莱
- 也许是彼得·莫斯的书，虽然我似乎记得我觉得它很沉重 本杰明·皮尔斯的书是一个很好的起点。它使用“操作小步语义”作为编程语言的正式规范 另一个好的资源可能是 他开发了一个名为APS的系统，可以使用属性语法生成整个编译器 本杰明·皮尔斯的书是一个很好的起点。它使用“操作小步语义”作为编程语言的正式规范 另一个好的资源可能是
- 关于这个问题有大量的文献。彼得·莫斯写了一本名为《动作语义学》的书。彼得·李（Peter Lee）和安德鲁·阿佩尔（Andrew Appel）都做过关于从语义的形式化描述生成编译器的博士论文；我想彼得的书出版了
科罗拉多州的Bill Waite小组开发了一个名为Eli的编译器构造工具包，涵盖了从词法分析到语法分析到语义的所有方面。汤姆·雷普斯（Tom Reps）在属性语法方面的工作应用于语言语义学等领域。也有一些欧洲作品使用属性语法，但我记不起缩写词或人物
好的地方可能包括
他开发了一个名为APS的系统，可以使用属性语法生成整个编译器 Wikipedia有关于形式语义的信息：Wikipedia有关于形式语义的信息：