编程语言的语法与语义
Syntax and Semantics of Programming Languages (1995)

原始链接: https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/

编程语言的语法和语义 第1章 第2章 第3章 第4章 第5章 第6章 第7章 第8章 第9章 第10章 第11章 第12章 第13章 附录A 附录B 扉页 前言 目录 参考文献 索引 Acrobat (pdf) 阅读器 至肯·斯洛内格的个人主页

黑客新闻新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录 编程语言的语法和语义 (uiowa.edu) 66 分,来自 nill0 1 天前 | 隐藏 | 过去 | 收藏 | 1 条评论 tomhow 1 天前 [–] 评论已移至 https://news.ycombinator.com/item?id=45862591。回复 考虑申请YC冬季2026批次!申请截止至11月10日 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:
这个Hacker News讨论围绕编程语言中**语法**和**语义**的区别,起因是链接到1995年的书籍《编程语言的语法与语义》。 核心争论在于如何定义这两个术语。最初,一位用户难以理解语义的抽象定义,将其理解为定义一个构造的*值*,而不是其*允许性*(语法)。其他人澄清,**语法定义了构成有效程序的条件**(例如,正确的语法),而**语义定义了该有效程序的含义或行为**(它*做什么*)。 对话深入探讨了诸如格式良好性、类型检查(模糊了界限)以及指定语义的正式方法等细微之处。 许多评论者强调,语义可以通过各种方法表达——操作、指称、公理化——并最终关系到程序如何被解释或执行。 一位用户甚至指出了这本书本身,并指出它在语言设计中使用Prolog以及提供PDF版本。 最后,一个话题讨论了设计新的游戏逻辑语言,重点是事件驱动架构和诸如条件环境之类的独特功能。
相关文章
联系我们 contact @ memedata.com