语义文库下载_中国高校课件下载中心

文档格式：DOC　文档大小：29.5KB　文档页数：4

《现代汉语》课程教学资源（教案讲义）第四章词汇第四节词义的聚合——语义场

文档格式：PPT　文档大小：351KB　文档页数：85

成都师范学院：《编译原理》课程电子教案（PPT教学课件）第7章语义分析和中间代码生成

文档格式：PDF　文档大小：223.75KB　文档页数：8

• C－惯用的词法 • C－语言的Tiny Machine运行时环境 • C－的语法和语义 • 使用C－和T M的编程设计 • C－的程序例子

文档格式：PPT　文档大小：640KB　文档页数：126

8.1概述 8.2属性文法和语法制导翻译 8.3语义分析 8.4中间代码 8.5一些语句的翻译

文档格式：PPT　文档大小：1.23MB　文档页数：20

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（3/3）

文档格式：PPT　文档大小：1.63MB　文档页数：27

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（1/3）

文档格式：PDF　文档大小：194.8KB　文档页数：22

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）09_Shared-Variable Concurrency

文档格式：PDF　文档大小：707.43KB　文档页数：193

Program Specifications using Hoare’s Notation Inference Rules of Hoare Logic Automated Program Verification Soundness and Completeness Discussions

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

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

文档格式：PPTX　文档大小：356.78KB　文档页数：76

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）04_Lambda Calculus