意味仕様
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/08 01:14 UTC 版)
意味論の仕様は、自然言語などで記述されることが多いが、形式的に与えられている言語もある。 形式意味論(プログラム意味論の記事も参照)で意味論を記述した例として Standard ML や Scheme がある。
※この「意味仕様」の解説は、「プログラミング言語」の解説の一部です。
「意味仕様」を含む「プログラミング言語」の記事については、「プログラミング言語」の概要を参照ください。
- 意味仕様のページへのリンク