操作語義學

操作語義學是計算機科學中的一個概念 ， 它是使得計算機程序在數學上更加嚴謹的一種手段 。 其它類似的手段包括提供形式語義學 ， 包括公理語義學和指稱語義 。 一個計算機語言的操作語義描述一段合理的程序是怎樣被理解爲一系列計算機步驟的 。 這些步驟就是這個程序的意義 。 在函數程式語言中一段終結性的序列在最後一步的返回程序的值 。 （ 由於一個程序可能是非非決定的 ， 一般來說一個程序能夠有許多不同的計算步驟和許多不同的返回值 。 ） 操作語義最早被用來定義的語義 。 下面這句話引用修正的報告 ： 一個使用嚴格語言編寫的程序的意義是通過一個假設的計算機來執行該程序的組成部分時完成的行動來解釋的 。 （ Algol68 ， 第二章 ） 丹納 · 司科特是第一個在今天的這個定義下使用操作語義這個概念的 （ Plotkin04b ） 。 以下是司科特關於形式語義學的講稿 ， 其中他提到了語義的 “ 操作 ” 觀點 。 把目光注意使得語義在更‘抽象’和更‘清晰’可以 ， 但是假如把操作方面完全忽略的話這個計劃毫無用處 。 （ Scott70 ）