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

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

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

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

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

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

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

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

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

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

一、填空(30) （1)语言的标准化有专有化标准和共识性标准两个种类。（2)基于解释型语言的源程序,不产生目标机器代码,只是产生更易于执行的中间代码,然后由软件解释执行