操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。一个计算机语言的操作语义描述一段合理的程序是怎样被理解为一系列计算机步骤的。这些步骤就是这个程序的意义。在函数程式语言中一段终结性的序列在最后一步的返回程序的值。（由于一个程序可能是非非决定的，一般来说一个程序能够有许多不同的计算步骤和许多不同的返回值。）操作语义最早被用来定义的语义。下面这句话引用修正的报告：一个使用严格语言编写的程序的意义是通过一个假设