操作语义学 操作语义学是计算机科学中的一个概念它是使得计算机程序在数学上更加严谨的一种手段其它类似的手段包括提供形式语义学包括公理语义学和指称语义 一个计算机语言的操作语义描述一段合理的程序是怎样被理解为一系列计算机步骤的这些步骤就是这个程序的意义在函數程式語言中一段终结性的序列在最后一步的返回程序的值由于一个程序可能是非非決定的一般来说一个程序能够有许多不同的计算步骤和许多不同的返回值 操作语义最早被用来定义Algol 的语义下面这句话引用修正的ALGOL 报告 一个使用严格语言编写的程序的意义是通过一个假设的计算机来执行该程序的组成部分时完成的行动来解释的Algol第二章 丹纳司科特是第一个在今天的这个定义下使用操作语义这个概念的Plotkinb以下是司科特关于形式语义学的讲稿其中他提到了语义的操作观点 把目光注意使得语义在更抽象和更清晰可以但是假如把操作方面完全忽略的话这个计划毫无用处Scott