表示编程语言语义(AST -> ASG)
表示编程语言语义(AST -> ASG)
提问于 2009-05-20 08:43:48
您是否有任何与表示计算机语言语义有关的信息/研究的指针?用编码/标记符号(例如EBNF)对语法需求进行形式化化？
谢谢
回答 2
Stack Overflow用户
回答已采纳
发布于 2009-05-20 15:14:03
关于这个问题有大量的文献。彼得·莫斯写了一本叫“行动语义学”的书。彼得·李和安德鲁·阿佩尔都写过博士论文，内容是从语义学的正式描述中生成编译器；我认为彼得的论文是一本书。
Bill在科罗拉多的团队开发了一个名为Eli的编译器构造工具包，它涵盖了从词法到解析到语义的所有内容。汤姆·勒普斯关于属性语法的工作主要涉及语言语义学等。也有一些欧洲的工作使用属性语法，但我不记得缩略词或人。
浸脚趾的好地方可能包括
- Don关于属性语法的原始论文
- 李彼得的论文
- Eli
- 也许彼得·莫斯的书，虽然我似乎还记得，但我觉得它很难读。
Stack Overflow用户
发布于 2009-05-22 01:14:18
本杰明皮尔斯的书类型和编程语言是一个很好的起点。它使用“操作小步语义”作为编程语言的正式规范。
另一个很好的资源可能是约翰·博兰德博士论文。
他开发了一个名为APS的系统，它可以使用属性语法生成整个编译器。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/886877
复制相关文章
相似问题
腾讯云开发者
