1. 首页
  2. 数据库
  3. Redis
  4. 功能程序的设计 一种计算方法The Design of Functional Programs A Calculational Approach

功能程序的设计 一种计算方法The Design of Functional Programs A Calculational Approach

上传者: 2020-09-01 04:21:17上传 PDF文件 4.4MB 热度 21次
该文档说明了可以在何种程度上以计算方式设计功能程序。 这项研究是关于编程的设计活动。 它与编程语言,包括的形式语义无关,也与实现无关。
用户评论