是否对各种编程语言功能的语义进行了调查？

是否对各种编程语言功能的语义进行了调查（包括论文，书籍章节，教程，链接等）？我最初对这里http://www.digitalmars.com/d/2.0/comparison.html中D的功能不知所措

我想看看我可以从这里得到什么，尽管我对stackoverflow提出了类似的问题，并且理解这两个站点有不同的观点。

非常感谢您的回复！感谢Dave Clarke 对meta的建议！

尽管有许多关于编程语言语义的书籍，但我对各种语言功能的语义没有任何调查。以下是一些更全面的说明，它们还处理了不太标准的结构：

• 编程语言中的设计概念，由Franklyn Turbak，David Gifford和Mark Sheldon撰写。一本庞然大物，充满了许多不同语言构造的语义。

• Peter Van Roy和Seif Haridi撰写的计算机编程概念，技术和模型。本书主要关注Oz语言方面的概念。书中的每个例子都在运行。本书的最后有一两章讨论了语言结构的形式语义。

更加注重语义技术而不是各种编程语言结构的更为经典的文本包括：

• 本杰明·皮尔斯（Benjamin Pierce）的类型和编程语言。关于类型系统的书。主要侧重于功能语言的构造，同时增加了类型系统的复杂性。它还涵盖了Featherweight Java，这是Java的核心演算。

• 汉斯·赫特尔着《过渡与树木》。一个很好的操作语义介绍，涵盖了越来越复杂的各种语言构造。

• Hanne Riis Nielson和Flemming Nielson撰写的应用语义学。各种语义样式的介绍，包括它们的一些非显而易见的应用。一个伟大的阅读！

• David A Schmidt 的类型化编程语言的结构。一本扎实的基础书。

• 编程语言的语义学： Carl A Gunter的结构和技术。另一本扎实的基础书。

最后，鲍勃·哈珀（Bob Harper）正在进行的工作，可以大量下载，《编程语言实用基础》涵盖了许多不同的编程语言功能，从而确保了所有过程的形式化。

我还要补充一点，如果您问一个更具体的问题，您将得到一个更具体的答案。那里有许多科学论文为各种编程语言功能提供了语义。如果您对某个特定功能感兴趣，那么我可以就该功能挖掘一两篇论文。

另一本关于操作语义学的好书是Matthias Felleisen，Robby Findler和Matthew Flatt撰写的PLT Redex的语义工程。它从一本关于减少语义和抽象机器的教科书开始，并且还介绍了使用Redex工具对编程语言的语义建模。