編程語言

內(nèi)容概要

本書第1版自1999年出版以來，編程語言的研究已得到迅猛發(fā)展。為此，新版盡量貼近現(xiàn)今的發(fā)展趨勢，以適應(yīng)當(dāng)前和未來編程語言設(shè)計(jì)過程中所伴隨的新挑戰(zhàn)。本書除了進(jìn)一步提高了4種程序設(shè)計(jì)范型及其所用的語言的廣度和深度外，還大大豐富了關(guān)于語言設(shè)計(jì)原理的內(nèi)容，并新增了如Python、Perl這類編程語言的例子。本書主要結(jié)構(gòu) 第一部分：原理。第2、4、5、7、9章分別講述了編程語言的5個(gè)核心原理（語法、名稱、類型、語義和函數(shù)）。第3、6、8、10、11章加深對這些主題的闡述。 第二部分：范型。包含4個(gè)主要的程序范型。其中，第12章是全新內(nèi)容，主要講解了在C、Ada和Perl這3種不同的語言中命令式編程的關(guān)鍵特點(diǎn)。第13章在第1版的基礎(chǔ)上進(jìn)行了較多的改寫，主要使用Java、Smalltalk和Python來研究面向?qū)ο笳Z言的特點(diǎn)。第14章和第15章分別對函數(shù)式編程和邏輯式編程進(jìn)行了區(qū)分。 第三部分：專題。第16章和第17章主要講解事件處理和并發(fā)性。第18章具體闡述了正確性的相關(guān)內(nèi)容。在學(xué)習(xí)本書之前，讀者應(yīng)該具備數(shù)據(jù)結(jié)構(gòu)方面的知識，熟悉Java、C、C++或C#等編程語言，最好還能了解一下初等離散數(shù)學(xué)和離散結(jié)構(gòu)課程。本書所涉及的軟件都可在Java 1．5或更高版本中運(yùn)行。

作者簡介

Allen B.Tucker是Bowdoin等院計(jì)算機(jī)科學(xué)系的教授，曾獲得了Wesleyan大學(xué)的數(shù)學(xué)學(xué)士學(xué)位，Northwestern大學(xué)的計(jì)算機(jī)科學(xué)碩士和博士學(xué)位。
　　Tucker教授已出版了有關(guān)編程語言、軟件設(shè)計(jì)、自然語言處理和課程設(shè)計(jì)等方面的專著。他是烏克蘭Ternopil Academy of National Econo

書籍目錄

第1章　概論　1.1　原理　1.2　范例　1.3　專題　1.4　編程語言發(fā)展簡史　1.5　關(guān)于語言設(shè)計(jì)　1.6　編譯器和虛擬機(jī)　1.7　小結(jié)　1.8　練習(xí)第2章　語法　2.1　文法　2.2　BNF擴(kuò)展　2.3　小語言CLITE的語法　2.4　編譯器和解釋器　2.5　語法和語義學(xué)鏈接　2.6　小結(jié)　2.7　練習(xí)第3章　詞法和語法分析　3.1　Chomsky層次結(jié)構(gòu)　3.2　詞法分析　3.3　語法分析　3.4　小結(jié)　3.5　練習(xí)第4章　命名　4.1　語法問題　4.2　變量　　4.3　作用域　4.4　符號表　4.5　解析引用　4.6　動(dòng)態(tài)作用域　4.7　可見性　4.8　重載　4.9　生存期　4.10　小結(jié)　4.11　練習(xí)第5章　類型　5.1　類型錯(cuò)誤　　　5.2　靜態(tài)類型和動(dòng)態(tài)類型　5.3　基本類型……第6章　類型系統(tǒng)第7章　語義第8章　語義解釋第9章　函數(shù)第10章　函數(shù)實(shí)現(xiàn)第11章　內(nèi)存管理第12章　命令式　編程第13章　面向?qū)ο缶幊痰?4章　函數(shù)式編程第15章　邏輯式編程第16章　事件驅(qū)動(dòng)編程第17章　并發(fā)編程第18章　程序的正確性附錄A　Clite的定義附錄B　離散數(shù)學(xué)回顧

章節(jié)摘錄

　　第1章　概論　　1.1 原理　　程序設(shè)計(jì)人員要掌握語言的結(jié)構(gòu)、含意和有助于理解程序運(yùn)行的范例中的一些基本術(shù)語。這些術(shù)語主要包括3大類，稱為語言設(shè)計(jì)的3個(gè)原理：　　·語法。　　·命名和類型?！　　ふZ義。 　　以上3類中的許多概念都是從語言學(xué)、數(shù)學(xué)及下面將要學(xué)到的知識中借用過來的。在第2、4、5、7、9章分別對這幾個(gè)原理進(jìn)行介紹。隨著學(xué)習(xí)的深入，會(huì)在第3、6、8、10和11章中有深入探討各原理?！　?.語法　　語法是語言正確描述程序的規(guī)則。它能回答許多問題。比如，怎樣用語言書寫一段程序？在正確的程序中，關(guān)鍵字和標(biāo)識符是怎樣的？　　大多數(shù)編程語言的語法是根據(jù)語言學(xué)中“上下文無關(guān)文法”的語法定義的。上下文無關(guān)文法之外的語法有其他的含意。在本文中的第2章對此有詳細(xì)的講解?！　W(xué)習(xí)語言語法面臨著很多的問題。編譯器怎樣識別語法？怎樣發(fā)現(xiàn)語法中的錯(cuò)誤？上下文無關(guān)文法怎樣使語法分析器容易實(shí)現(xiàn)？第3章將對這些關(guān)于語法的深層次問題進(jìn)行回答?！　?.命名和類型　　編程語言還包括一套詳盡的命名規(guī)則——變量、函數(shù)、類和參數(shù)等。在程序運(yùn)行的過程中，命名還有一些其他的特征，如作用域、生命周期和約束條件。編程語言中的命名語法和語義是第4章中的內(nèi)容。　　編程語言中的不同類型可以表示值的取值范圍，使程序能夠處理數(shù)據(jù)。這些類型包括簡單類型、結(jié)構(gòu)體類型及更為復(fù)雜的類型。簡單類型有整型、十進(jìn)制數(shù)、字符型和布爾型。結(jié)構(gòu)體包括字符串、鏈表、樹和哈希表。更加復(fù)雜的類型包括函數(shù)和類。各種類型在第5章中有全面的介紹。　　類型系統(tǒng)使程序員更容易理解和實(shí)現(xiàn)不同類型的值的操作。一個(gè)嚴(yán)瑾、特有的類型系統(tǒng)使編譯器在程序運(yùn)行之前，進(jìn)行嚴(yán)格的類型檢查，避免程序運(yùn)行過程中因?yàn)轭愋筒黄ヅ涠鴮?dǎo)致的錯(cuò)誤。在第6章中，將深入學(xué)習(xí)類型系統(tǒng)。

編輯推薦

《編程語言:原理與范型(第2版)》由清華大學(xué)出版社出版。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    編程語言 PDF格式下載

---