さまざまなプログラミング言語機能のセマンティクスの調査はありますか？

さまざまなプログラミング言語機能のセマンティクスに関する調査（論文、書籍の章、チュートリアル、リンクなど）がありますか？私はもともとここhttp://www.digitalmars.com/d/2.0/comparison.htmlのDの機能に圧倒されました

stackoverflowで同様の質問をし、これら2つのサイトの視点が異なることを理解していますが、ここから何が得られるかを確認したいと思います。

返信ありがとうございます！メタに関する提案をしてくれたDave Clarkeに感謝します！

プログラミング言語のセマンティクスを扱った本はたくさんありますが、私はさまざまな言語機能のセマンティクスの調査を知りません。以下に、より包括的なものをいくつか紹介します。これらは、あまり標準的ではない構造も処理します。

• プログラミング言語の設計概念Franklyn Turbak、David Gifford、Mark Sheldonによる。多くの異なる言語構成のセマンティクスに満ちた巨大な本。

• Peter Van RoyとSeif Haridiによるコンピュータープログラミングの概念、手法、モデル。この本は、主に言語Ozの概念に焦点を当てています。本のすべての例が実行されます。本の最後には、言語構成の形式的な意味論について議論する章があります。

さまざまなプログラミング言語の構成ではなく、セマンティックテクニックに重点を置いたより古典的なテキストには、次のものがあります。

• Benjamin Pierceによる型とプログラミング言語。型システムに関する本。型システムの洗練度を高めながら、主に関数型言語の構成に焦点を当てています。また、Javaのコア計算であるFeatherweight Javaもカバーしています。

• Hans Huttelによるトランジションとツリー。複雑さを増すさまざまな言語構成をカバーする、操作上のセマンティクスの優れた紹介。

• Hanne Riis NielsonとFlemming Nielsonによるセマンティクスとアプリケーション。それらのいくつかの非自明なアプリケーションを含む、さまざまなセマンティクススタイルの紹介。素晴らしい読み物！

• David A Schmidtによる型付きプログラミング言語の構造。堅実な基礎書。

• プログラミング言語のセマンティクス： Carl A Gunterによる構造とテクニック。別の堅実な基礎書。

最後に、進行中の作業、寛大にダウンロード可能、プログラミング言語の実用的な基礎 Bob Harperによるは、さまざまなプログラミング言語の機能を多数カバーし、すべてが途中で形式化されるようにします。

さらに具体的な質問をすると、より具体的な回答が得られることを付け加えます。多くの科学論文があり、さまざまなプログラミング言語機能にセマンティクスを提供しています。特定の機能に興味がある場合は、その機能について1つか2つの論文を掘り下げることができます。

オペレーショナルセマンティクスに関するもう1つの良い本は、Matthias Felleisen、Robby Findler、およびMatthew FlattによるPLT Redexを使用したSemantics Engineeringです。それは、リダクションセマンティクスと抽象マシンの教科書の扱いから始まり、プログラミング言語のセマンティクスをモデル化するためのRedexツールの使用もカバーしています。