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

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

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