指称语义：语言发展的一种方法论Denotational Semantics: A Methodology for Language Development下载

weixin_39821228 2020-02-01 11:30:19
介绍一种为编程语言和系统赋予数学含义的方法。 从工程的角度提出主题，强调描述和实现方面。
相关下载链接：//download.csdn.net/download/weixin_38743481/11979356?utm_source=bbsseo
...全文
16 回复 打赏 收藏 转发到动态 举报
写回复
用AI写文章
回复
切换为时间正序
请发表友善的回复…
发表回复
指称语义：语言发展的一种方法论Denotational Semantics: A Methodology for Language Development
介绍一种为编程语言和系统赋予数学含义的方法。 从工程的角度提出主题，强调描述和实现方面。
the formal semantics of programming language: an introduction
形式语义的建立通常涉及几种不同的方法，如操作语义、Denotational Semantics（指称语义）、逻辑语义（例如，Logic Programming中的逻辑语义）和类型系统。这些方法都试图以数学的方式解释程序的行为，使得我们能够...
semantics with applications: an appetizer
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the ...
《程序设计语言的形式语义》操作语义的证明规则
在程序设计语言的形式语义中，操作语义是一种描述编程语言执行过程的精确数学方法。这一领域的核心目标是为编程语言的语句和表达式的计算过程建立严谨的数学框架。在《程序设计语言的形式语义》第四章中，讨论了操作...
下载资源悬赏专区

13,654

社区成员

12,574,373

社区内容

发帖
与我相关
我的任务
社区描述
CSDN 下载资源悬赏专区
其他 技术论坛（原bbs）
社区管理员
  • 下载资源悬赏专区社区
加入社区
  • 近7日
  • 近30日
  • 至今

加载中

查看更多榜单
社区公告
暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章