新しいドメイン固有のプログラミング言語を正式に説明する

私は社会学習の慣習を表現するためにドメイン固有の言語を実装しようとしています。実装の一部は、言語の正式な記述-その「計算」、記号、および論理式です。

私のアプローチは、文法を記述することによって言語を記述することですが、関係、対話、より理論的なアプローチを必要とする期待やロジックの説明などの概念もあります。

この説明に役立つ例と参考文献（論文、本）をお願いしたいと思います。私はこのタスクに比較的有能に近づいていると感じているので、完全な手持ちを求めているわけではありませんが、この分野の理論家の助けをいただければ幸いです。

説明する必要があるセマンティクスには2つの部分があります。

• 静的セマンティクス：整形式プログラムの構造

• 動的セマンティクス：実行中のプログラミングの意味

静的セマンティクスは通常、型システムの形式をとります。Benjamin C PierceとRobert Harperの本を見ることをお勧めします。あるいは、整形式プログラムの規則を、プログラムの有効性条件を説明する（公式または非公式の）ステートメントのコレクションとして書くこともできます。型システムが採用する正式なアプローチは、そのような仕様のためのよく知られたフレームワークを提供します。

動的セマンティクスを表現するための形式には、基礎として検討する多くの形式があります。

• 意味論的意味論---意味論的ドメインに関して意味を与える
• 運用上のセマンティクス---抽象マシンの状態に変化をもたらす
• 公理セマンティクス---マシンの状態に関するアサーションに関して意味を与えます
• 代数的意味論---意味論は代数的法則で定義されます。

これらのトピックに関する本はたくさんあるはずです。優れた広範な紹介の1つは、NielsonおよびNielsonのSemantics with Applicationsです。ダウンロード可能なバージョンは、著者のサイトから入手できます。新しい版もありますが、見たことがありません。

これらのそれぞれの中で、選択の余地があります。たとえば、運用セマンティクスを使用する場合、ラージステップセマンティクス、スモールステップセマンティクス、ラベル付き遷移システムに基づくセマンティクス、書き換えロジックに基づくセマンティクスがあります。

• で契約を構成する：金融工学での冒険を、サイモンペイトンジョーンズらは、金融DSLに表示的意味論を与えます。

• Assaf Kfouryによるフローネットワーク設計のためのドメイン固有言語の表記法および静的セマンティクスは、フローネットワークDSLの表記セマンティクスを提示します

• Andrei Lapetsの論文「ドメイン固有言語の 代数的意味論」では、DSLの代数的意味論について説明しています。

• より多くのがあります。この、その、抽象機械の点では1、他の一つは。

どのようなアプローチを取るべきかは、DSLの言語の種類、セマンティクスの設計での経験の種類、および個人的な好みによって異なります。

具体的な詳細がなければ、私はこれ以上手助けすることはできません。