指称语义

（计算机科学技术）

指称语义（denotational semantics），计算机科学技术名词，由克里斯托弗·斯特雷奇（Christopher Strachey）和达纳·斯科特（Dana Scott）在20世纪60年代开创的形式语义学，用与程序执行效果相对应的数学对象（称为指称）来描述程序结构含义，它将程序的每个部分都看成为某个相应指称。