Z形式規(guī)約的自動求精研究

第1章 Z形式規(guī)約
1.1 軟 件開發(fā)的形式化方法
1.2 Z形式規(guī)約的類型
1.3 Z形式規(guī)約的構造單元
1.4 Z形式規(guī)約的關系和函數(shù)
1.5 Z形式規(guī)約求精技術
第2章 ++標準模板庫STL
　2.1 STL簡介
　2.2 STL基本結構
　2.3 容器
　2.4 迭代器
　2.5 算法
　2.6 其他組件
第3章 Z形式規(guī)約的精簡—Smart Z
　3.1 概述
　3.2 Z形式規(guī)約的類型約束
　3.3 Z形式規(guī)約的謂詞約束
　3.4 Z形式規(guī)約的精簡
第4章 Smart Z的自動求精
　4.1 Smart Z的詞法分析
　4.2 Smart Z的語法分析
　4.3 Smart Z的語義分析
　4.4 Smart Z的自動求精轉換器
第5章 一階邏輯算子的自動求精
　5.1 一階邏輯
　5.2 一階邏輯算子的自動求精步驟
　5.3 表達式處理
　5.4 Smart Z的量詞與連接詞的自動求精
　5.5 一階邏輯算子的目標代碼生成
　5.6 一個模式求精實例
第6章 集合論算子的自動求精
　6.1 集合類型的聲明
　6.2 目標代碼中的集合操作
　6.3 集合論算子到中間代碼的轉換
　6.4 采用模板及重載技術設計Smart Z中集合論算子的求精
　6.5 集合論算子自動求精實例
第7章 冪集算子的自動求精
　7.1 冪集類型
　7.2 廣義表
　7.3 單層冪集的自動求精
　7.4 多層嵌套冪集的自動求精
　7.5 冪集的自動求精實例
第8章 笛卡兒積的自動求精
　8.1 笛卡兒積的聲明
　8.2 笛卡兒積的數(shù)據(jù)求精
　8.3 笛卡兒積的過程求精48
　8.4 笛卡兒積的自動求精實例
第9章 關系和函數(shù)的自動求精
　9.1 序偶與關系
　9.2 關系操作與自動求精
　9.3 函數(shù)操作與自動求精
第10章 序列和包的自動求精
　10.1 序列和包
　10.2 序列操作的自動求精
　10.3 包操作的自動求精
　10.4 序列和包的自動求精實例
附錄1 Z語法
附錄2 Smart Z詞法
附錄3 Smart Z的詞法
附錄4 Smart Z語法
附錄5 Smart Z語法的部分SI-NS圖
附錄6 部分Smart Z算子的函數(shù)模板
參考文獻