ATLAS语言指称语义及程序分析技术
| 内容提要 | 第1-7页 |
| 第一章 绪论 | 第7-16页 |
| ·ATLAS 语言简介 | 第7-13页 |
| ·产生和发展 | 第7页 |
| ·ATLAS 语言的特点 | 第7-9页 |
| ·ATLAS 程序基本结构 | 第9-10页 |
| ·ATLAS 语言信号语句 | 第10-13页 |
| ·研究现状 | 第13页 |
| ·研究目的和意义 | 第13-14页 |
| ·本文工作 | 第14-16页 |
| 第二章 ATLAS 语言指称语义 | 第16-34页 |
| ·抽象语法及符号约定 | 第16-18页 |
| ·类型的语义 | 第18-20页 |
| ·声明部分的语义 | 第20-22页 |
| ·表达式的语义 | 第22-23页 |
| ·非信号语句的语义 | 第23-25页 |
| ·信号语句的语义 | 第25-32页 |
| ·语义域定义 | 第25-26页 |
| ·语义函数定义 | 第26-32页 |
| ·本章小结 | 第32-34页 |
| 第三章 ATLAS 程序分析技术 | 第34-59页 |
| ·信号语句分析 | 第34-40页 |
| ·活跃性分析 | 第34-37页 |
| ·实际应用 | 第37-40页 |
| ·ATLAS 程序切片 | 第40-48页 |
| ·程序切片介绍 | 第40-42页 |
| ·基于设备依赖的切片 | 第42-46页 |
| ·基于信号依赖的切片 | 第46-48页 |
| ·ATLAS 语言部分求值 | 第48-58页 |
| ·基本原理 | 第48-50页 |
| ·非信号语句部分求值 | 第50-54页 |
| ·信号语句部分求值 | 第54-58页 |
| ·本章小结 | 第58-59页 |
| 第四章 ATLAS 设备分配 | 第59-85页 |
| ·ATLAS 设备分配简介 | 第59-61页 |
| ·动态设备分配 | 第61-63页 |
| ·穷举法静态分配 | 第63-66页 |
| ·基本原理 | 第63-64页 |
| ·分配算法 | 第64-66页 |
| ·启发式静态分配 | 第66-81页 |
| ·设备分配问题的抽象描述 | 第67-68页 |
| ·启发式双重回溯剥夺算法 | 第68-74页 |
| ·存在请求动态释放情况下算法的改进 | 第74-78页 |
| ·特殊情况的处理 | 第78-79页 |
| ·实例分析 | 第79-80页 |
| ·启发函数的改进 | 第80-81页 |
| ·切片技术在设备分配中的应用 | 第81-83页 |
| ·本章小结 | 第83-85页 |
| 第五章 ATLAS 语言到C 转换 | 第85-100页 |
| ·转换函数定义 | 第85-86页 |
| ·转换规则 | 第86-99页 |
| ·类型的转换 | 第86页 |
| ·声明部分的转换 | 第86-88页 |
| ·非信号语句的转换 | 第88-91页 |
| ·单动作信号语句的转换 | 第91-95页 |
| ·多动作信号语句的转换 | 第95-96页 |
| ·总线语句的转换 | 第96-99页 |
| ·本章小结 | 第99-100页 |
| 第六章 总结与展望 | 第100-102页 |
| 参考文献 | 第102-111页 |
| 作者读博期间的成果 | 第111-113页 |
| 摘要 | 第113-116页 |
| ABSTRACT | 第116-120页 |
| 致谢 | 第120页 |
