Mini wiki
操作语义
编辑
操作语义学是
计算机科学
中的一个概念,它是使得
计算机程序
在数学上更加严谨的一种手段。其它类似的手段包括提供
形式语义学
,包括
公理语义学
和
指称语义
。
2