5.1 字符串操作指令 （1) 串传送指令 MOVS （2）串比较指令 CMPS （3）串搜索指令 SCAS （4）取字节/字/双字串指令 LODS （5）存储字节/字/双字指令 STOS ( 6 ) 总结 5.2 宏功能程序设计
文件格式: PDF大小: 1.04MB页数: 135
中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第6章 递归类型
文件格式: PDF大小: 408.5KB页数: 15
中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第2章 泛代数和代数数据类型
文件格式: PDF大小: 477.37KB页数: 43
中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第1章 引言
文件格式: PDF大小: 239.9KB页数: 12
中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第5章 类型和效果系统（Nielson等）Principles of Program Analysis - Type and Effect Systems
文件格式: PDF大小: 295.07KB页数: 93
中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第4章 抽象解释（Nielson等）Principles of Program Analysis - Abstract Interpretation
文件格式: PDF大小: 438.11KB页数: 99
中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第3章 基于约束的分析（Nielson等）Principles of Program Analysis - Control Flow Analysis
文件格式: PDF大小: 305.04KB页数: 99
中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第2章 数据流分析（Nielson等）Principles of Program Analysis - Data Flow Analysis
文件格式: PDF大小: 513.93KB页数: 151
《计算机学报》：形状图理论的定理证明 Automated theorem proving for theory of shape graphs
文件格式: PDF大小: 1.15MB页数: 21
形状图逻辑和形状系统 Shape graph logic and shape system
文件格式: PDF大小: 336.03KB页数: 24