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