| 第1章 Z形式规约 1.1 软件开发的形式化方法 1.2 Z形式规约的类型 1.3 Z形式规约的构造单元 1.4 Z形式规约的关系和函数 1.5 Z形式规约求精技术 第2章 ++标准模板库STL 2.1 STL简介 2.2 STL基本结构 2.3 容器 2.4 迭代器 2.5 算法 2.6 其他组件 第3章 Z形式规约的精简-SmartZ 3.1 概述 3.2 Z形式规约的类型约束 3.3 Z形式规约的谓词约束 3.4 Z形式规约的精简 第4章 SmartZ的自动求精 4.1 SmartZ的词法分析 4.2 SmartZ的语法分析 4.3 SmartZ的语义分析 4.4 SmartZ的自动求精转换器 第5章 一阶逻辑算子的自动求精 5.1 一阶逻辑 5.2 一阶逻辑算子的自动求精步骤 5.3 表达式处理 5.4 SmartZ的量词与连接词的自动求精 5.5 一阶逻辑算子的目标代码生成 5.6 一个模式求精实例 第6章 集合论算子的自动求精 6.1 集合类型的声明 6.2 目标代码中的集合操作 6.3 集合论算子到中间代码的转换 6.4 采用模板及重载技术设计SmartZ中集合论算子的求精 6.5 集合论算子自动求精实例 第7章 幂集算子的自动求精 7.1 幂集类型 7.2 广义表 7.3 单层幂集的自动求精 7.4 多层嵌套幂集的自动求精 7.5 幂集的自动求精实例 第8章 笛卡儿积的自动求精 8.1 笛卡儿积的声明 8.2 笛卡儿积的数据求精 8.3 笛卡儿积的过程求精48 8.4 笛卡儿积的自动求精实例 第9章 关系和函数的自动求精 9.1 序偶与关系 9.2 关系操作与自动求精 9.3 函数操作与自动求精 第10章 序列和包的自动求精 10.1 序列和包 10.2 序列操作的自动求精 10.3 包操作的自动求精 10.4 序列和包的自动求精实例 附录1 Z语法 附录2 SmartZ词法 附录3 SmartZ的词法 附录4 SmartZ语法 附录5 SmartZ语法的部分SI-NS图 附录6 部分SmartZ算子的函数模板 参考文献 |
内容加载中，请稍后...
商品评论（0条）