程序設(shè)計(jì)語言

內(nèi)容概要

本書介紹了程序設(shè)計(jì)語言的一般概念，包括程序設(shè)計(jì)語言的語法和語義，涉及命令式語言、面向?qū)ο笳Z言、函數(shù)式語言、邏輯式語言和并行語言等多種范例，分析了各種語言的設(shè)計(jì)原理和內(nèi)在機(jī)制，討論了語言的理論基礎(chǔ)和實(shí)現(xiàn)時(shí)必須考慮的問題。
    本書可用于計(jì)算機(jī)及其相關(guān)專業(yè)學(xué)生的雙語教材，軟件與理論專業(yè)研究生相關(guān)課程的參考書，也可供計(jì)算機(jī)專業(yè)人員參考。

書籍目錄

第1章 引言  1.1 什么是程序設(shè)計(jì)語言  1.2 程序設(shè)計(jì)語言中的抽象  1.2.1 數(shù)據(jù)抽象  1.2.2 控制抽象  1.3 計(jì)算范例  1.4 語言定義  1.5 語言翻譯  1.6 語言設(shè)計(jì)習(xí)題注釋與參考文獻(xiàn)第2章 歷史  2.1 早期歷史：第一位程序員  2.2 20世紀(jì)50年代：第一種程序設(shè)計(jì)語言  2.3 20世紀(jì)60年代：程序語言的迅猛發(fā)展  2.4 20世紀(jì)70年代：簡單性、抽象性、語言研究  2.5 20世紀(jì)80年代：程序設(shè)計(jì)的新方向和面向?qū)ο笳Z言的產(chǎn)生  2.6 20世紀(jì)90年代：穩(wěn)定發(fā)展、Internet，庫及腳本語言  2.7 未來的方向習(xí)題注釋與參考文獻(xiàn)第3章 語言設(shè)計(jì)原理  3.1 語言的歷史和設(shè)計(jì)標(biāo)準(zhǔn)  3.2 語言的效率  3.3 規(guī)律性  3.4 進(jìn)一步的語言設(shè)計(jì)原理  3.5 C++：語言設(shè)計(jì)的實(shí)例研究  3.5.1 背景  3.5.2 第一次實(shí)現(xiàn)  3.5.3 發(fā)展   3.5.4 標(biāo)準(zhǔn)化  3.5.5 小結(jié)習(xí)題注釋與參考文獻(xiàn)第4章 語法   4.1 程序設(shè)計(jì)語言的詞法結(jié)構(gòu)  4.2 上下文無關(guān)文法和BNF范式  4.2.1 將BNF規(guī)則作為等式  4.3 語法分析樹和抽象語法樹  4.4 二義性、結(jié)合性和優(yōu)先性  4.5 EBNF和語法圖  4.6 語法分析的技術(shù)和工具  4.7 語言的詞法、語法和語義習(xí)題注釋與參考文獻(xiàn)第5章 基本語義  5.1 屬性、約束和語義函數(shù)  5.2 聲明、塊和范圍  5.3 符號(hào)表  5.4 名稱解析與重載  5.5 分配、生命期和環(huán)境  5.6 變量與常量  5.6.1 變量  5.6.2 常量  5.7 別名、懸垂引用和無用單元  5.7.1 別名  5.7.2 懸垂引用  5.7.3 無用單元回收習(xí)題注釋與參考文獻(xiàn)第6章 數(shù)據(jù)類型  6.1 數(shù)據(jù)類型和類型信息  6.2 簡單類型  6.3 類型構(gòu)造器  6.3.1 笛卡兒積  6.3.2 聯(lián)合  6.3.3 子集  6.3.4 數(shù)組和函數(shù)  6.3.5 指針和遞歸類型  6.3.6 數(shù)據(jù)類型和環(huán)境  6.4 簡單語言中的類型命名法  6.4.1 C語言  6.4.2 Java語言  6.4.3 Ada語言  6.5 類型等價(jià)  6.6 類型檢查  6.6.1 類型相容性  6.6.2 隱式類型  6.6.3 重疊類型和多類型值  6.6.4 共享操作  6.7 類型轉(zhuǎn)換  6.8 多態(tài)類型檢查  6.9 顯式多態(tài)性習(xí)題注釋與參考文獻(xiàn)第7章 控制表達(dá)式和語句  7.1 表達(dá)式  7.2 條件語句標(biāo)志  7.2.1 if語句  7.2.2 case和switch語句  7.3 WHILE循環(huán)及變量  7.4 關(guān)于GOTO的爭論  7.5 異常處理  7.5.1 異常  7.5.2 異常處理程序  7.5.3 控制  7.5.4 異常規(guī)范說明和用C++寫的例子習(xí)題注釋與參考文獻(xiàn)第8章 控制Ⅱ——過程和環(huán)境  8.1 過程定義和活躍狀態(tài)  8.2 過 程的語義  8.3 參數(shù)傳遞機(jī)制  8.3.1 按值傳遞  8.3.2 按引用傳遞  8.3.3 按值-結(jié)果傳遞  8.3.4 按名傳遞和延遲計(jì)算  8.3.5 參數(shù)傳遞機(jī)制及參數(shù)規(guī)范  8.3.6 參數(shù)的類型檢查  8.4 過程的環(huán)境、活躍狀態(tài)和存儲(chǔ)分配  8.4.1 全靜態(tài)環(huán)境  8.4.2 基于棧的運(yùn)行環(huán)境  8.4.3 動(dòng)態(tài)計(jì)算過程和全動(dòng)態(tài)環(huán)境  8.5 動(dòng)態(tài)內(nèi)存管理  8.5.1 自由空間的維護(hù)  8.5.2 存儲(chǔ)回收  8.6 異常處理和環(huán)境習(xí)題注釋與參考文獻(xiàn)第9章 抽象數(shù)據(jù)類型和模塊  9.1 抽象數(shù)據(jù)類型的代數(shù)規(guī)范  9.2 抽象數(shù)據(jù)類型機(jī)制和模塊  9.2.1 抽象數(shù)據(jù)類型機(jī)制  9.2.2 模塊  9.3 C與C++的命名空間及Java包的獨(dú)立編譯  9.3.1 C和C++的獨(dú)立編譯  9.3.2 C++的命名空間的Java包  9.4 Ada包  9.5 ML中的模塊  9.6 早期語言中的模塊  9.6.1 Euclid  9.6.2 CLU  9.6.3 Modula-2  9.7 抽象數(shù)據(jù)類型機(jī)制中的問題  9.7.1 模塊不是類型  9.7.2 模塊是靜態(tài)實(shí)體  9.7.3 輸出類型的模塊未對(duì)變量上的操作進(jìn)行合理控制  9.7.4 不能總是合理表示對(duì)輸入類型依賴關(guān)系的模塊  9.7.5 模塊定義未包含給定操作的語義規(guī)范  9.8 抽象數(shù)據(jù)類型的數(shù)學(xué)基礎(chǔ)習(xí)題注釋與參考文獻(xiàn)第10章 面向?qū)ο蟮某绦蛟O(shè)計(jì)  10.1 軟件重用與獨(dú)立性  10.2 Java語言：對(duì)象、類和方法  10.3 繼承  10.4 動(dòng)態(tài)綁定  10.5 C++語言  10.6 Smalltalk  10.7 面向?qū)ο笳Z言的設(shè)計(jì)問題  10.7.1 類與類型  10.7.2 類與模塊  10.7.3 繼承與多態(tài)  10.8 面向?qū)ο笳Z言的實(shí)現(xiàn)問題  10.8.1 對(duì)象及方法的實(shí)現(xiàn)  10.8.2 繼承和動(dòng)態(tài)約束  10.8.3 分配和初始化習(xí)題注釋與參考文獻(xiàn)第11章 函數(shù)式程序設(shè)計(jì)  11.1 函數(shù)和程序  11.2 用命令式語言進(jìn)行函數(shù)式程序設(shè)計(jì)  11.3 Scheme:LISP的一種“方言”  11.3.1 Scheme的元素  11.3.2 Scheme中的數(shù)據(jù)結(jié)構(gòu)  11.3.3 Scheme中的編程技巧  11.3.4 高階函數(shù)  11.4 ML：帶靜態(tài)類型的函數(shù)式語言  11.4.1 ML基礎(chǔ)  11.4.2 ML中的數(shù)據(jù)結(jié)構(gòu)  11.4.3 ML中的高階函數(shù)和Currying  11.5 延遲計(jì)算  11.6 Haskell：一種支持重載的惰性語言  11.7 函數(shù)編程的數(shù)學(xué)基礎(chǔ)Ⅰ：遞歸函數(shù)  11.8 函數(shù)編程的數(shù)學(xué)基礎(chǔ)Ⅱ：lambda演算習(xí)題注釋與參考文獻(xiàn)第12章 邏輯式程序設(shè)計(jì)  12.1 邏輯和邏輯程序  12.2 Horn子句  12.3 消解與合一  12.4 Prolog語言  12.4.1 符號(hào)和數(shù)據(jù)結(jié)構(gòu)  12.4.2 Prolog的執(zhí)行  12.4.3 算術(shù)運(yùn)算  12.4.4 合一  12.4.5 Prolog搜索策略  12.4.6 循環(huán)和控制結(jié)構(gòu)  12.5 邏輯設(shè)計(jì)的問題  12.5.1 合一中的出現(xiàn)—檢查問題  12.5.2 失敗與否定  12.5.3 Horn子句不表示所有的邏輯  12.5.4 邏輯程序設(shè)計(jì)中的控制信息  12.6 邏輯程序設(shè)計(jì)的推廣：約束式邏輯程序設(shè)計(jì)和等式系統(tǒng)  12.6.1 約束式邏輯程序設(shè)計(jì)  12.6.2 等式系統(tǒng)習(xí)題注釋與參考文獻(xiàn)第13章 形式語義  13.1 一種簡單語言  13.2 操作語義  13.2.1 邏輯推理規(guī)則  13.2.2 整數(shù)算術(shù)表達(dá)式的歸約規(guī)則  13.2.3 環(huán)境和賦值  13.2.4 控制  13.2.5 在程序語言中實(shí)現(xiàn)操作語義  13.3 指稱語義  13.3.1 語法域  13.3.2 語義域  13.3.3 語義函數(shù)  13.3.4 整數(shù)算術(shù)表達(dá)式的指稱語義  13.3.5 環(huán)境和賦值  13.3.6 控制語句的指稱語義  13.3.7 指稱語義的程序語言實(shí)現(xiàn)  13.4 公理語義  13.4.1 wp的一般性質(zhì)  13.4.2 簡單語言的公理語義  13.5 程序的正確性證明習(xí)題注釋與參考文獻(xiàn)第14章 并行程序設(shè)計(jì)習(xí)題注釋與參考文獻(xiàn)參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    程序設(shè)計(jì)語言 PDF格式下載

---