プログラミング言語の形式的意味論

プログラミング言語の理論は初めてであり、プログラミング言語の形式的なセマンティクスのリソースに関する優れたリソースを探しています。構造的な操作上のセマンティクスを具体的に探しています。私はいくつかの本の推薦を得ました。しかし、私はより入門的なレベルのリソースを探しています。特にチュートリアル、ウェブサイト、無料の書籍の推奨事項を歓迎します。

私の大学の運用セマンティクスコースを見ると、次の3つが得られます。

• アンドリューピッツの講義ノート
• Gordon Plotkinのオーフスは、構造上の操作上のセマンティクスについてメモしています
• マシューヘネシーの「プログラミング言語の意味論」

ああ

構造的運用セマンティクス（SOS）は非常に一般的な概念です。本質的には、構成（通常はプログラムに加えて、状態や利用可能な継続などのコンテキスト）のバイナリ関係、またはラベル付きセマンティクスの場合は、構成、アクション（特定の最小コンテキストを表す）、および構成の3項関係です。通常、「構造」ビットは、これらの関係が関連する構文（構成やアクションなど）で帰納的に定義されることです。

そのため、他の要件がなければ、SOSで検討する数学的エンティティは、あまりにも一般的であるため、それ自体が興味深い/扱いにくいものです。

SOSは、時限計算の等価性、縮小に対応する非同期アンビエント計算のラベル付き遷移、または特定の（クラスの）計算の表現性に関する質問など、特殊なケースを見ると、興味深く実質的になります。

だから、Mr / Ms Systemsfaultに対する私の推奨事項は、一般性をスキップして、興味のある特定の計算に直接ジャンプすることです。一般的なSOSテクニックは、簡単に習得できます。

このダウンロード可能な本の第2章を読むことをお勧めします。

Semantics with Applications：A Formal Introduction、 Hanne Riis Nielson and Flemming Nielson、Wiley、1992. http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html