関数型言語Part IV - 暇つぶし2ch

関数型言語Part IV ..

17:デフォルトの名無しさん
04/05/04 15:51
【プログラミング言語の意味論】URLﾘﾝｸ(kaiunix.cs.shinshu-u.ac.jp)

では、意味はどの様に定義されるのか？

--------------------------------------------------------------------------------
【プログラムの正しさ】

構文と意味で述べたように「プログラムが正しい」という内容には種々のレベルがある。
しかしながら一般的にはっきりしている事は、
正しいとは「何らかの形式で定められたルール、条件に則っている」という事である。
逆に言うならば則っているルールを用意しない限り、正しい、正しくない、という議論は成立しない。
この様な観点から、意味に関わるルール、条件を記述するものが意味論である。

--------------------------------------------------------------------------------

次ページ