计算机科学

首页 > 计算机科学

形式语义学

2018-07-27 10:09:09     所属分类:编程语言语义

在计算理论中,形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。

语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。

形式语义学(formal semantics),是程序设计理论的组成部分,以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。

提供程序设计语言的形式语义的方法很多,其中主要类别有:

  • 指称语义学,着重于语言的执行结果而非过程,包括域理论;
  • 操作语义学,例如抽象机(象SECD抽象机),着重于描述语言的过程;
  • 公理语义学,如 谓词变换语义学和代数语义学。

外部链接

  • Semantics with Applications
  • 定义

显示全文

取消

感谢您的支持,我会继续努力的!

扫码支持
无需打赏可直接关闭阅读全文
1分,2分不嫌少,钱不钱的无所谓,重要的是你的话语激励我前行!

愿你每天温暖如春!!!


上一篇:同像性
下一篇:操作语义学
相关推荐