Anna語言導(dǎo)論

     目 錄
   第一部分：Ada及其規(guī)格說明語言Anna
    1引言
    2Ada典型特征
    3Anna基本概念
    3.1虛擬Ada行文
    3.2標注
    3.3新增運算與屬性
    3.4帶量詞表達式
    4標注種類
    4.1對象標注
    4.2（子）類型標注
    4.3語句標注
    4.4子程序標注
    4.5異常傳播標注
    4.6上下文標注
    5程序包標注
    5.1可見標注與隱藏標注
    5.2程序包狀態(tài)
    5.3程序包公理
    6語義、實現(xiàn)及工具
    6.1公理語義
    6.2轉(zhuǎn)換語義與實現(xiàn)
    6.3基本工具
    7結(jié)束語
    附錄 Ada語法
   第二部分：Anna語言參考手冊
    0作者前言
    1Anna基本概念
    1.1虛擬Ada行文
    1.2標注
    1.3標注的語義
    1.3.1程序狀態(tài)
    1.3.2斷言與Anna核
    1.3.3Anna程序的一致性
    1.3.4標注的定義性
    1.4一致性檢查
    1.5手冊結(jié)構(gòu)
    1.6錯誤分類
   2詞法元素
    2.1字符集
    2.2詞法元素、分隔符與定界符
    2.7形式注解
    2.9保留字
    2.10 允許的字符替換
   3聲明與類型標注
    3.1聲明標注
    3.2對象標注
    3.2.1 對象約束轉(zhuǎn)換
    3.3類型與子類型聲明標注
    3.3.3適用于所有類型的運算
    3.4派生類型標注
    3.5純量類型運算
    3.6數(shù)組類型標注
    3.6.2數(shù)組類型運算
    3.6.4數(shù)組狀態(tài)
    3.7記錄類型標注
    3.7.4記錄類型運算
    3.7.5記錄狀態(tài)
    3.8 訪問類型標注
    3.8.2訪問類型運算
    3.8.3訪問類型約束
    3.8.4集團狀態(tài)
    3.9 聲明部分
   4標注中名字與表達式
    4.1標注中名字
    4.1.4 屬性
    4.4標注中表達式
    4.5運算符與表達式求值
    4.5.1 邏輯運算符
    4.5.2 關(guān)系運算符與成員關(guān)系測試
    4.6類型轉(zhuǎn)換
    4.7限定表達式
    4.11帶量詞表達式
    4.11.1帶量詞表達式轉(zhuǎn)換成Anna核
    4.12 條件表達式
    4.13修飾符
    4.14表達式的定義性
   5語句標注
    5.1簡單與復(fù)合語句標注
    5.5循環(huán)語句標注
    5.8返回語句標注
   6子程序標注
    6.1子程序聲明標注
    6.2形式參數(shù)標注
    6.3子程序體標注
    6.4子程序調(diào)用標注
    6.5函數(shù)子程序結(jié)果標注
    6.6標注中子程序重載
    6.7運算符重載
    6.8子程序?qū)傩?br />    7程序包標注
    7.1程序包結(jié)構(gòu)
    7.2程序包規(guī)格說明中可見標注
    7.2.1可見類型標注
    7.3程序包隱藏標注
    7.4私有類型標注
    7.4.1私有類型在標注中的運用
    7.4.2私有類型運算
    7.4.4受限類型相等運算的重新定義
    7.7程序包狀態(tài)
    7.7.1狀態(tài)類型
    7.7.2初始狀態(tài)和當前狀態(tài)
    7.7.3程序包后繼狀態(tài)
    7.7.4相對于程序包狀態(tài)的函數(shù)調(diào)用
    7.7.5狀態(tài)類型標注
    7.8公理標注
    7.8.1公理簡化表示法
    7.8.2隱式相等公理
    7.9Anna程序包的一致性
    7.9.1 程序包體的一致性
    7.9.2可見標注與程序包體的一致性
    7.10帶標注程序包舉例
   8標注的可見性規(guī)則
    8.2聲明與聲明標注的作用域
    8.3可見性
    8.5改名聲明
    8.7重載分辨的上下文
   9任務(wù)標注
   10程序結(jié)構(gòu)
    10.1編譯單元標注
    10.1.1 虛擬上下文子句
    10.1.3上下文標注
    10.2子單元標注
   11異常標注
    11.2異常處理段標注
    11.3引發(fā)語句標注
    11.4傳播標注
    11.7標注的屏蔽檢查
   12類屬單元標注
    12.1類屬聲明標注
    12.1.1類屬形式對象標注
    12.1.2類屬形式類型標注
    12.1.3類屬形式子程序標注
    12.3類屬標注例舉
    12.4帶標注類屬程序包舉例
    12.5類屬單元的一致性
   13依賴實現(xiàn)的特征的標注
    13.8機器代碼插入的標注
    12.9與其它語言接口的標注
    13.10不作檢查的程序設(shè)計的標注
    13.10.1不作檢查的存貯單元回收的標注
    13.10.2 不作檢查的類型轉(zhuǎn)換的標注
   附錄A 預(yù)定義Anna屬性
   附錄C 預(yù)定義Anna環(huán)境
   附錄E Anna語法概要
   附錄H Anna程序?qū)嵗?br />    1 符號表程序包
   2 Dijkstra荷蘭國旗程序
   第三部分：TSL－1一種Ada任務(wù)定序語言
    1概述
    2類型表達式與基本事件
    3用戶定義事件與執(zhí)行語句
    4占位符
    5事件匹配與參數(shù)匯集
    6哨兵
    7復(fù)合事件
    8規(guī)格說明
    9性質(zhì)與更新語句
    10 宏定義與調(diào)用
    11TSL—1任務(wù)規(guī)格說明
    12結(jié)束語
   附錄A TSL－1擴充的語法
   附錄B TSL－1擴充的保留字
   附錄C TSL－1擴充預(yù)定義環(huán)境
   附錄D 例篩法求質(zhì)數(shù)
   參考文獻
   英漢名詞對照