c程序设计语言文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：553KB　文档页数：53

• 带记录和子定型的简单类型化λ演算 • 等式理论和语义模型 • 递归类型的子定型和递归记录作为对象的模型

文档格式：PPT　文档大小：225KB　文档页数：39

1. 数组 ①约束数组类型⎯下标界是静态确定的

文档格式：PPT　文档大小：671.5KB　文档页数：99

第1章概述 1.1什么是编译程序 1.2程序设计语言的实现 1.3处理源程序的软件工具 1.4编译技术的发展

文档格式：PPT　文档大小：145.5KB　文档页数：24

方法:从输入串开始,归约,直至文法开始符

文档格式：PPT　文档大小：521KB　文档页数：34

-λ表示法和λ演算系统概述 -类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳

文档格式：PDF　文档大小：408.5KB　文档页数：15

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第6章递归类型

文档格式：PDF　文档大小：477.37KB　文档页数：43

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第2章泛代数和代数数据类型

文档格式：PDF　文档大小：239.9KB　文档页数：12

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第1章引言

文档格式：PPT　文档大小：249KB　文档页数：43

1. 两个或两个以上程序单元之间交错地执行,这样的程序称为协同程序

文档格式：PPT　文档大小：105KB　文档页数：24

可见,非终结符P产生一系列i:T形式的说明语句