意味論間の関係
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/01/15 20:52 UTC 版)
場合によっては、異なる意味論間の関係を説明する必要が生じる。例えば: ある言語の操作的意味論の結果が、その言語の公理的意味論の論理式と矛盾しないことを証明する必要が生じるかもしれない。そのような証明は、特定の(公理的)「証明システム」を使って特定の(操作的)「インタプリタ」を論じることが健全であることを保証する。 ある言語について、高レベルの抽象機械と低レベルの抽象機械を定義したとする。ここで、後者は前者よりも基本的な操作を含む。両者における操作的意味が双模倣性によって関連していることを証明する必要が生じるかもしれない。そのような証明は、低レベルの抽象機械が高レベルの抽象機械を「忠実に実装」することを保証する。 複数の意味論の関連付けは、抽象解釈理論による抽象によって行うことが可能な場合もある。
※この「意味論間の関係」の解説は、「プログラム意味論」の解説の一部です。
「意味論間の関係」を含む「プログラム意味論」の記事については、「プログラム意味論」の概要を参照ください。
- 意味論間の関係のページへのリンク