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

文档格式：PPT　文档大小：138KB　文档页数：37

(1)代码外提 (2)强度削弱

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

一. 优化的定义优化是一种等价的，有效的程序变换等价——不改变程序运行结果有效——时空效率要高

文档格式：PPT　文档大小：905KB　文档页数：32

《程序设计语言》课程PPT教学课件（章节大纲）

文档格式：PPT　文档大小：136KB　文档页数：41

语言特点：允许递归，允许动态数组，允许过程嵌套定义

文档格式：PDF　文档大小：767.48KB　文档页数：203

《程序设计语言的形式语义》课程教学资源（文献资料）An Introduction to Separation Logic（Preliminary Draft）

文档格式：PDF　文档大小：462.23KB　文档页数：106

《程序设计语言的形式语义》课程教学资源（文献资料）Lecture Notes on the Lambda Calculus

文档格式：PPT　文档大小：3.53MB　文档页数：54

《程序设计语言原理》课程教学资源（PPT课件讲稿）形式语义学 Formal Semantics

文档格式：PPT　文档大小：143.5KB　文档页数：42

程序投入运行的必要条件：一组可运行的代码一个运行环境：分配空间、提供运行信息

文档格式：PPT　文档大小：192.5KB　文档页数：38

许多语言允许程序员规定基本数据对象的聚合,乃至聚合的聚合

文档格式：PPT　文档大小：102.5KB　文档页数：18

1.程序设计语言的产生人机通信、人机交流. 2.程序设计语言的发展机器语言→汇编语言→高级语言(说明翻译,解释,汇编,编译等概念)