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

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

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

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

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

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

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

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

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

文档格式：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　文档大小：149KB　文档页数：53

五. 一类控制语句的翻译 1. 文法及其分析

文档格式：PPT　文档大小：86KB　文档页数：15

语言分类: 强制式(命令式或面向语句) 函数式逻辑式面向对象

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

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