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

　　本書(shū)的主要內(nèi)容包括程序設(shè)計(jì)語(yǔ)言的語(yǔ)法和語(yǔ)義、數(shù)據(jù)類(lèi)型和控制結(jié)構(gòu)、面向?qū)ο笳Z(yǔ)言、邏輯程序設(shè)計(jì)語(yǔ)言和函數(shù)程序設(shè)計(jì)語(yǔ)言、以及并行程序設(shè)計(jì)語(yǔ)言等五個(gè)部分，分成十一章。本書(shū)使用最簡(jiǎn)單的例子介紹上述這些概念。每一章上給出了相應(yīng)的練習(xí)。第一章介紹程序語(yǔ)言的概念、抽象方法、計(jì)算機(jī)的模式、語(yǔ)言的定義以及語(yǔ)言的翻譯和設(shè)計(jì)等概念。第二章介紹語(yǔ)言的有效性，語(yǔ)言的一般性、正義性和統(tǒng)一性以及語(yǔ)言的設(shè)計(jì)標(biāo)準(zhǔn)。第三章介紹程序設(shè)計(jì)語(yǔ)言的詞法結(jié)構(gòu)、上下文無(wú)關(guān)語(yǔ)法、BNF和句法圖、句法分析樹(shù)和抽象分析樹(shù)，語(yǔ)法的二義性、結(jié)合性和優(yōu)先性、分析和方法和工具。第四章介紹語(yǔ)言的屬性、聯(lián)編和語(yǔ)義等，符號(hào)表、存儲(chǔ)分配、表達(dá)式的求值，以及程序設(shè)計(jì)語(yǔ)言形式語(yǔ)義等。第五章介紹數(shù)據(jù)類(lèi)型和類(lèi)型的信息、簡(jiǎn)單類(lèi)型、類(lèi)型的構(gòu)造操作，類(lèi)型的等價(jià)、檢查和轉(zhuǎn)換等。第六章介紹衛(wèi)哨命令和條件、循環(huán)的各種形式、GO-TO的爭(zhēng)論、過(guò)程和參數(shù)以及例處處理。第七章介紹抽象數(shù)據(jù)類(lèi)型的代數(shù)規(guī)格說(shuō)明、具體語(yǔ)言的抽象數(shù)據(jù)類(lèi)型、重載和多態(tài)、程序模塊和分塊編譯、抽象數(shù)據(jù)類(lèi)型方法中的問(wèn)題。第八章介紹軟件的重用性和獨(dú)立性，對(duì)象、類(lèi)和方法、繼承、動(dòng)態(tài)聯(lián)編，幾種具體的面向?qū)ο笳Z(yǔ)言，面向?qū)ο笳Z(yǔ)言的設(shè)計(jì)和實(shí)現(xiàn)。第九章介紹程序作為函數(shù)、過(guò)程式語(yǔ)言中的函數(shù)程設(shè)設(shè)計(jì)、具體的函數(shù)程序設(shè)計(jì)語(yǔ)言、函數(shù)程序設(shè)計(jì)的數(shù)學(xué)方法：遞歸函數(shù)和Lamboda演算、函數(shù)語(yǔ)言的動(dòng)態(tài)存儲(chǔ)管理等。第十章介紹邏輯程序、Horn句子、歸結(jié)和合一、proing語(yǔ)言、邏輯程序設(shè)計(jì)中的問(wèn)題。第十一章介紹并行處理和程序設(shè)計(jì)語(yǔ)言、偽并行和協(xié)同例程、信號(hào)量、管理和消息傳遞方法非過(guò)程語(yǔ)言的并行方法。

暫缺《程序設(shè)計(jì)語(yǔ)言原理》作者簡(jiǎn)介