コンピュータ言語の表現に関連する情報/研究の指針がありますかセマンティクスと同じ方法で、構文要件はコード化/マークアップ表記(例えばEBNF )?プログラミング言語セマンティクスの表現(AST - > ASG)
ありがとうございました
コンピュータ言語の表現に関連する情報/研究の指針がありますかセマンティクスと同じ方法で、構文要件はコード化/マークアップ表記(例えばEBNF )?プログラミング言語セマンティクスの表現(AST - > ASG)
ありがとうございました
この問題に関する文献はたくさんあります。 Peter Mossesは、アクションセマンティクスという本を書いた。 Peter LeeとAndrew Appelは両方とも、セマンティクスの正式な記述からコンパイラを生成する上で博士論文を出しました。私はピーターが本として出てきたと思う。
コロイドのビルウェイトグループは、レクシングから構文解析、セマンティクスまでを網羅したEliというコンパイラ構築ツールキットを作成しました。 Tom Repsの属性文法に関する研究は、言語セマンティクスにも適用されていました。属性文法を使ったヨーロッパの仕事もいくつかありましたが、頭字語や人々を覚えていません。属性の
良い場所は、あなたのつま先を浸ししますそれが重いことを知った
ベンジャミンピアスの本Types and Programming Languagesは良い場所です 始めること。これは、プログラミング言語の正式な仕様として「運用上の小さなステップのセマンティクス」を使用します。
もう1つの良いリソースはJohn Boyland's PHD thesisです。
彼は、属性文法を使用してコンパイラ全体を生成できるAPSというシステムを開発しました。
ウィキペディアに正式セマンティクスに関する情報があります:http://ja.wikipedia.org/wiki/Formal_semantics_of_programming_languages – Nat