指称语义 编辑
在计算机科学中，指称语义是通过构造表达其语义的数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语义的其他方法包括公理语义和操作语义。指称语义方式最初开发来处理一个单一计算机程序定义的系统。后来领域扩展到了由多于一个程序构成的系统，比如计算机网络和并发系统。
2
相关
彼得·约翰·兰丁，英国计算机科学家。他最早提出阿隆佐·邱奇的Λ演算可以被用作计算机程序语言的模型，这后来成为函数式编程和指称语义的基础。
论元也称行动元、项，不及物动词主语也称变元，在句法学上指句子当中具有指称语义功能、强制补充谓语语义学的名词成分。这些谓语往往指的是动词及其助动词；名词性成分则可以是名词、代词等，甚至可以是从句，如英语 seem 的从句即可视之为其论元。
操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。
操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。
彼得·约翰·兰丁，英国计算机科学家。他最早提出阿隆佐·邱奇的Λ演算可以被用作计算机程序语言的模型，这后来成为函数式编程和指称语义的基础。
克里斯托弗·斯特雷奇是一名出生于英国英格兰伦敦汉普斯特德的计算机学者。他是指称语义最早的提出者之一，也是程式语言设计的先驱，发展了程式语言CPL。
演员模型的指称语义是演员模型的指称域理论的研究主题。这个主题的历史发展参见指称语义的历史。
在数学中，有向完全偏序和完全偏序是两种特殊的偏序集合，分别简写为 dcpo 和 cpo。它们特征化自特定的完备性。dcpos 和 cpos 是序理论的概念，主要应用于理论计算机科学和指称语义。
在数学中，有向完全偏序和完全偏序是两种特殊的偏序集合，分别简写为 dcpo 和 cpo。它们特征化自特定的完备性。dcpos 和 cpos 是序理论的概念，主要应用于理论计算机科学和指称语义。
彼得·约翰·兰丁，英国计算机科学家。他最早提出阿隆佐·邱奇的Λ演算可以被用作计算机程序语言的模型，这后来成为函数式编程和指称语义的基础。