279,137
次編輯
變更
指称语义
,無編輯摘要
[[File:指称语义.jpeg|有框|右|<big></big>[https://txt22262.book118.com/2018/0530/book169541/169540512.jpg 原图链接][https://max.book118.com/html/2018/0530/169540512.shtm 来自 E书联盟 的图片]]]
'''指称语义'''（英语：Denotational semantics）主要是指在计算机科学中，通过构造表达其语义的(叫做指称(denotation)或意义的)[[数学]]对象来形式化计算机系统的语义的一种方法。编程语言的形式语义的其他方法包括公理语义和操作语义。指称语义方式最初开发来处理一个单一计算机程序定义的系统。后来领域扩展到了由多于一个程序构成的系统，比如网络和并发系统。<ref>[ ], , --</ref>