04/05/04 15:51
【プログラミング言語の意味論】URLﾘﾝｸ(kaiunix.cs.shinshu-u.ac.jp)
では、意味はどの様に定義されるのか？
--------------------------------------------------------------------------------
【プログラムの正しさ】
構文と意味で述べたように「プロ グラムが正しい」という内容には種々のレベルがある。
しかしながら一般的 にはっきりしている事は、
正しいとは「何らかの形式で定められたルール、 条件に則っている」という事である。
逆に言うならば則っているルール を用意しない限り、正しい、正しくない、という議論は成立しない。
この様 な観点から、意味に関わるルール、条件を記述するものが意味論である。
--------------------------------------------------------------------------------