程序設(shè)計(jì)語(yǔ)言原理

內(nèi)容概要

　　程序設(shè)計(jì)語(yǔ)言是用于編制軟件的，機(jī)器可識(shí)別、可執(zhí)行的符號(hào)系統(tǒng)。程序設(shè)計(jì)語(yǔ)言的研究和開(kāi)發(fā)始終處于計(jì)算機(jī)科學(xué)技術(shù)發(fā)展的中心。麥中凡編著的《程序設(shè)計(jì)語(yǔ)言原理》根據(jù)計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)規(guī)范的要求，全面、系統(tǒng)地介紹各種高級(jí)程序設(shè)計(jì)語(yǔ)言的基本原理和特點(diǎn)。對(duì)于計(jì)算機(jī)專業(yè)學(xué)生從更高的層次來(lái)理解各種語(yǔ)言機(jī)制，指導(dǎo)對(duì)計(jì)算機(jī)語(yǔ)言的學(xué)習(xí)和程序設(shè)計(jì)具有重要意義。全書(shū)主要介紹了程序設(shè)計(jì)語(yǔ)言發(fā)展中的問(wèn)題與趨向，以及程序設(shè)計(jì)語(yǔ)言各主要成分設(shè)計(jì)中的關(guān)鍵問(wèn)題、主要?驟、表示法的基本技能，使讀者學(xué)會(huì)分析、選擇、調(diào)合、折中、設(shè)計(jì)語(yǔ)言的新特征。每章配有習(xí)題，供讀者復(fù)習(xí)本節(jié)的知識(shí)點(diǎn)，以便及時(shí)驗(yàn)證本章學(xué)習(xí)的效果?！冻绦蛟O(shè)計(jì)語(yǔ)言原理》講解詳細(xì)，通俗易懂，詳略得當(dāng)?！冻绦蛟O(shè)計(jì)語(yǔ)言原理》既可以作為計(jì)算機(jī)專業(yè)學(xué)生的教材，也可以作為從事計(jì)算機(jī)專業(yè)高級(jí)技術(shù)人員的參考書(shū)。

作者簡(jiǎn)介

麥中凡：一個(gè)很有學(xué)者精神的大學(xué)老師.

書(shū)籍目錄

第0章 緒論0.1 語(yǔ)言的一般性質(zhì)0.2 程序設(shè)計(jì)語(yǔ)言的一般性質(zhì)0.3 為什么要研究程序設(shè)計(jì)語(yǔ)言0.4 程序設(shè)計(jì)語(yǔ)言定義與處理器0.5 21世紀(jì)程序設(shè)計(jì)語(yǔ)言的發(fā)展及未來(lái)發(fā)展趨勢(shì)0.6 本書(shū)的目的與組織第1章 歷史的回顧與程序設(shè)計(jì)語(yǔ)言分類1.1 程序設(shè)計(jì)語(yǔ)言簡(jiǎn)史1.1.1 20世紀(jì)50年代高級(jí)語(yǔ)言出現(xiàn)1.1.2 20世紀(jì)60年代奠基性研究1.1.3 20世紀(jì)70年代完善的軟件工程工具1.1.4 20世紀(jì)80年代的面向?qū)ο蟀l(fā)展1.1.5 20世紀(jì)90年代網(wǎng)絡(luò)計(jì)算語(yǔ)言1.2 程序設(shè)計(jì)語(yǔ)言的分類1.2.1 按對(duì)機(jī)器依賴程度1.2.2 按應(yīng)用領(lǐng)域1.2.3 按實(shí)現(xiàn)計(jì)算方式1.2.4 按使用方式1.2.5 按程序設(shè)計(jì)范型1.2.6 按斷代劃分1.3 本章小結(jié)習(xí)題第2章 程序設(shè)計(jì)語(yǔ)言的設(shè)計(jì)概述2.1 表示與抽象2.1.1 上層抽象可用多種下層抽象實(shí)現(xiàn)程序設(shè)計(jì)的四個(gè)世界2.1.2 顯式表示和隱式表示2.1.3 聚合表示和分散表示2.2 程序設(shè)計(jì)語(yǔ)言的設(shè)計(jì)目標(biāo)2.3 設(shè)計(jì)準(zhǔn)則2.4 程序設(shè)計(jì)語(yǔ)言的規(guī)格說(shuō)明2.4.1 語(yǔ)法的規(guī)格說(shuō)明2.4.2 語(yǔ)義規(guī)格說(shuō)明2.4.3 上下文規(guī)格說(shuō)明2.5 J、結(jié)習(xí)題第3章 值與類型3.1 值3.1.1 值與類型3.1.2 字面量、變量與常量3.1.3 程序中的求值方式3.1.4 值應(yīng)是頭等程序?qū)ο?.2 類型3.2.1 基本類型3.2.2 復(fù)合類型3.2.3 遞歸類型3.2.4 類型系統(tǒng)初步3.3 表達(dá)式3.3.1 表達(dá)式表示法3.3.2 表達(dá)式種類3.3.3 優(yōu)先級(jí)和結(jié)合性3.3.4 類型兼容性3.4 小結(jié)習(xí)題第4章 存儲(chǔ)4.1 程序變量的時(shí)、空特性4.1.1 引用和指針4.1.2 遞引用4.1.3 變量的時(shí)態(tài)4.1.4 可存儲(chǔ)值4.2 組織存儲(chǔ)對(duì)象的存儲(chǔ)模型4.2.1 存儲(chǔ)對(duì)象的生命期4.2.2 靜態(tài)存儲(chǔ)對(duì)象4.2.3 動(dòng)態(tài)存儲(chǔ)對(duì)象4.2.4 動(dòng)態(tài)堆棧存儲(chǔ)4.2.5 動(dòng)態(tài)堆存儲(chǔ)4.3 懸掛引用4.4 ，變量更新4.4.1 變量初始化4.4.2 動(dòng)態(tài)更新4.5 有副作用的表達(dá)式4.5.1 塊表達(dá)式4.5.2 命令表達(dá)式4.6 小結(jié)習(xí)題第5章 束定5.1 名字與束定5.2 各種束定機(jī)制5.2.1 靜態(tài)束定5.2.2 動(dòng)態(tài)束定5.2.3 塊結(jié)構(gòu)柬定5.2.4 無(wú)類型語(yǔ)言的束定5.3 聲明5.3.1 聲明的種類5.3.2 聲明的作用域5.3.3 塊聲明5.4 束定的作用域與釋義5.4 1束定與環(huán)境5.4.2 詞法作用域與動(dòng)態(tài)作用域5.4.3 詞法作用域和動(dòng)態(tài)作用域的求值差異5.4.4 作用域與生命期匹配的問(wèn)題5.5 束定機(jī)制與語(yǔ)言翻譯器5.6 小結(jié)習(xí)題第6章 函數(shù)和過(guò)程6.1 函數(shù)和過(guò)程抽象6.1.1 函數(shù)定義與引用6.1.2 過(guò)程定義與調(diào)用6.1.3 無(wú)參過(guò)程6.2 參數(shù)機(jī)制6.2.1 傳值調(diào)用6.2.2 傳名調(diào)用6.2.3 引用調(diào)用6.2.4 參數(shù)模式與返回調(diào)用6.2.5 值——返回調(diào)用6.2.6 指針參數(shù)6.3 變?cè)笾挡呗?.4 高階函數(shù)6.4.1 函數(shù)作為變?cè)?.4.2 函數(shù)作為返回值6.5 小結(jié)習(xí)題第7章 程序控制7.1 一般概述7.2 順序控制7.3 條件選擇控制7.3.1 結(jié)構(gòu)式條件控制’7.3.2 case和switch7.3.3 以條件表達(dá)式實(shí)現(xiàn)選擇控制7.4 迭代控制7.4.1 顯式迭代控制7.4.2 隱式迭代控制7.5 異常處理7.5.1 異常定義與異常處理段7.5.2 異常引發(fā)與異常傳播7.6 小結(jié)習(xí)題第8章 程序的抽象與封裝8.1 模塊和包8.1.1 模塊的一般形式8.1.2 模塊程序的結(jié)構(gòu)8.2 抽象數(shù)據(jù)類型8.2.1 數(shù)據(jù)抽象與抽象數(shù)據(jù)類型8.2.2 利用抽象數(shù)據(jù)類型構(gòu)造新類型……第9章 類型系統(tǒng)第10章 面向?qū)ο蟪绦蛟O(shè)計(jì)程言第11章 函數(shù)式程序設(shè)計(jì)語(yǔ)言第12章 邏輯式程序設(shè)計(jì)語(yǔ)言第13章 程序的并發(fā)性和進(jìn)程交互原理第14章 進(jìn)程交互機(jī)制和并發(fā)程設(shè)計(jì)第15章 描述性程序設(shè)計(jì)語(yǔ)言第16章 指稱語(yǔ)義的原理與應(yīng)用第17章 代數(shù)語(yǔ)義學(xué)參考文獻(xiàn)

章節(jié)摘錄

　　它是計(jì)算機(jī)軟硬件技術(shù)的窗口軟、硬件技術(shù)發(fā)展最終必然要反映到人一機(jī)界面的語(yǔ)言上。例如，硬件高速、存儲(chǔ)容量增大，圖形界面、可視計(jì)算就有可能，相應(yīng)圖符語(yǔ)言得到發(fā)展。軟件重用技術(shù)的發(fā)展，可重用庫(kù)標(biāo)準(zhǔn)化，才有第4代語(yǔ)言的誕生。這些新發(fā)展都會(huì)改變傳統(tǒng)的使用計(jì)算機(jī)方式和程序設(shè)計(jì)語(yǔ)言的概念和定義。所以，只要軟硬件技術(shù)在發(fā)展，新版本還會(huì)不斷出現(xiàn)?！　∷侨藗冄芯坑?jì)算表達(dá)的形式計(jì)算機(jī)科學(xué)的本質(zhì)是研究如何把問(wèn)題世界的對(duì)象及其運(yùn)動(dòng)映射為程序?qū)ο蠹捌浣换ネㄐ?。從?jì)算的角度觀察、模型客觀世界，然后在模型理論的基礎(chǔ)上建立表達(dá)（即語(yǔ)言）、實(shí)施計(jì)算。程序設(shè)計(jì)語(yǔ)言學(xué)不涉及模型理論本身，但是表達(dá)成果的手段。例如模糊邏輯要求模糊程序設(shè)計(jì)語(yǔ)言，函數(shù)式模型要求表達(dá)高階函數(shù)的函數(shù)式語(yǔ)言。所以，隨著人們對(duì)計(jì)算本質(zhì)的認(rèn)識(shí)加深，新范型、新語(yǔ)種總會(huì)出現(xiàn)。它和計(jì)算機(jī)理論研究聯(lián)系最緊密計(jì)算機(jī)科學(xué)就是從集合論（1895）、符號(hào)邏輯（1910）、不完全理論（1931）發(fā)展起來(lái)的。至20世紀(jì)30年代Post系統(tǒng)、遞歸函數(shù)論、可計(jì)算性理論奠定了計(jì)算機(jī)科學(xué)基石。從研究停機(jī)問(wèn)題的Post系統(tǒng)和形式語(yǔ)言理論基礎(chǔ)上，發(fā)展出完善的形式語(yǔ)法、編譯理論、編譯器的編譯至可擴(kuò)充語(yǔ)法的EL／1系統(tǒng)。從遞歸函數(shù)論的一個(gè)分支，建立了操作和指稱語(yǔ)義學(xué)，直至類型理論、此外，當(dāng)今并發(fā)、分布、協(xié)調(diào)理論、CSP、CCST均與并發(fā)分布式程序設(shè)計(jì)語(yǔ)言相關(guān)。有關(guān)計(jì)算科學(xué)理論基礎(chǔ)和形式語(yǔ)義學(xué)發(fā)展如圖O一2和圖O一3所示。因此，學(xué)習(xí)程序設(shè)計(jì)語(yǔ)言的理論和實(shí)踐為進(jìn)一步學(xué)習(xí)計(jì)算機(jī)理論打下基礎(chǔ)。

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

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

---

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

---