セマンティックス【semantics】
プログラム意味論
(セマンティックス から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/05 03:54 UTC 版)
プログラム意味論(プログラムいみろん、英: program semantics)とは、計算機科学(特に理論計算機科学と分類されることもある)の一分野で、プログラミング言語の意味と計算モデルに関する分野である。形式的なものは、プログラミング言語の形式意味論とも呼ばれる。標準規格等では形式的でなく意味論を与えているものも多い。
- ^ 実用上は一般的な使い方とはなっていないが、yacc(Yet Another Compiler Compiler)の言葉通り、yaccが定義から生成するコードがそれだけで完備した言語処理系になるように使えば、それは属性文法によってその言語の意味論を定義して、yaccにより自動的に処理系を生成した、ということになり、実はプログラム意味論そのものの応用となる。
- 1 プログラム意味論とは
- 2 プログラム意味論の概要
- 3 形式的意味論
- 4 派生
- 5 外部リンク
「セマンティックス」の例文・使い方・用例・文例
- セマンティックスのページへのリンク