省计算机等级文库下载_中国高校课件下载中心

文档格式：DOCX　文档大小：18.58KB　文档页数：9

北京中医药大学：《计算机基础》课程教学资源（试卷习题）全国计算机等级考试二级笔试试卷——Access 数据库程序设计

文档格式：DOCX　文档大小：20.75KB　文档页数：6

北京中医药大学：《计算机基础》课程教学资源（试卷习题）全国计算机等级考试二级笔试试卷——Access 数据库程序设计

文档格式：DOCX　文档大小：17.78KB　文档页数：11

北京中医药大学：《计算机基础》课程教学资源（试卷习题）全国计算机等级考试二级笔试试卷——Access 数据库程序设计

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

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

文档格式：DOC　文档大小：412.5KB　文档页数：13

1. 计算积分：

文档格式：PDF　文档大小：295.07KB　文档页数：93

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第5章类型和效果系统（Nielson等）Principles of Program Analysis - Type and Effect Systems

文档格式：PDF　文档大小：438.11KB　文档页数：99

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第4章抽象解释（Nielson等）Principles of Program Analysis - Abstract Interpretation

文档格式：PDF　文档大小：305.04KB　文档页数：99

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第3章基于约束的分析（Nielson等）Principles of Program Analysis - Control Flow Analysis

文档格式：PDF　文档大小：513.93KB　文档页数：151

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第2章数据流分析（Nielson等）Principles of Program Analysis - Data Flow Analysis

文档格式：PPT　文档大小：891KB　文档页数：64

• 一个简单的代码生成算法 • 涉及存储管理，指令选择，寄存器分配和计算次序选择等基本问题