Computational semantics

Japanese: 計算の意味論 - けいさんのいみろん（英語表記）computational semantics

The methodology of giving mathematical meaning to computations performed by computers or humans is called computational semantics. Since any computable function can be expressed as a program, computational semantics is also called program semantics. Representative semantics include operational semantics, axiomatic semantics, and denotational semantics.
[Necessity and Significance]
A programmer is given a specification, which describes what the program should compute, and writes a program that satisfies the specification.

Source: Heibonsha World Encyclopedia, 2nd Edition Information

Japanese:

コンピューターないし人間による計算に対して数学的な意味を与える方法論を計算の意味論という。計算可能な関数は必ずプログラムで表現できるので，計算の意味論をプログラムの意味論ともいう。代表的な意味論として，操作的意味論，公理的意味論，表示的意味論がある。
[必要性と意義]
　プログラマーは，与えられた仕様を基に，仕様を満足するようにプログラムを作成する。仕様は，プログラムが何を計算すべきかを記述したものである。

出典　株式会社平凡社世界大百科事典第２版について　情報

<<: Silica fertilizer (silica fertilizer)

>>: Sodium silicate (English spelling)