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

內(nèi)容概要

這是一本很有特色的教材，其核心是討論程序設(shè)計(jì)語言的工作原理和技術(shù)。本書融合了傳統(tǒng)的程序設(shè)計(jì)語言教科書和編譯教科書的有關(guān)知識，并增加了一些有關(guān)匯編層體系結(jié)構(gòu)的材料，以滿足沒學(xué)過計(jì)算機(jī)組織的學(xué)生們的需要。書中通過各種語言的例子，闡釋了程序設(shè)計(jì)語言的重要基礎(chǔ)概念，討論了各種概念之間的關(guān)系，解釋了語言中許多結(jié)構(gòu)的形成和發(fā)展過程，以及它們演化為今天這種形式的根源。書中還詳細(xì)討論了編譯器的工作方式和工作過程，說明它們對源程序做了什么，以及為什么要那樣做。書的每章最后附有復(fù)習(xí)題和一些更具挑戰(zhàn)性的練習(xí)。這些練習(xí)的特別價(jià)值在于引導(dǎo)學(xué)生進(jìn)一步深入理解各種語言和技術(shù)。    本書在美國大學(xué)已有使用了十余年，目前被歐美許多重要大學(xué)用于“程序設(shè)計(jì)語言”或者“軟件系統(tǒng)”課程。本書適合高年級本科生或者一年級研究生使用，許多內(nèi)容對專業(yè)程序員也很有價(jià)值。本書作者M(jìn)ichael Scott是計(jì)算機(jī)領(lǐng)域的著名學(xué)者，譯者是北京大學(xué)的裘宗燕教授，他熟悉專業(yè)，譯筆流暢，是一本難得的著、譯雙馨的佳作。

作者簡介

Michael L.Scott是羅切斯特大學(xué)計(jì)算機(jī)科學(xué)系的教授，1996至1999年任系主任。他是Lynx分布式程序設(shè)計(jì)語言的設(shè)計(jì)者、與他人合作設(shè)計(jì)了Charlotte和Psyche并行操作系統(tǒng)、Bridge并行文件系統(tǒng)、Cashmere分布式共享存儲(chǔ)系統(tǒng)和MCS互斥鎖。他在1985年由麥迪遜的威斯康星大學(xué)獲得博士學(xué)

書籍目錄

前言 第1章 引言 　1.1 語言設(shè)計(jì)的藝術(shù) 　1.2 程序設(shè)計(jì)語言的譜系 　1.3 為什么研究程序設(shè)計(jì)語言 　1.4 編譯和解釋 　1.5 程序設(shè)計(jì)環(huán)境 　1.6 編譯概覽 　　1.6.1 詞法和語法分析 　　1.6.2 語義分析和中間代碼生成 　　1.6.3 目標(biāo)代碼生成 　　1.6.4 代碼改進(jìn) 　1.7 總結(jié)和注記 　1.8 復(fù)習(xí) 　1.9 練習(xí) 　1.10 有關(guān)參考文獻(xiàn)第2章 程序設(shè)計(jì)語言的語法 　2.1 描述語法：正則表達(dá)式和上下文無關(guān)文法　　2.1.1 單詞和正則表達(dá)式 　　2.1.2 上下文無關(guān)文法 　　2.1.3 推導(dǎo)和語法分析樹　2.2 識別語法：掃描器和語法分析器 　　2.2.1 掃描 　　2.2.2 自上而下和自下而上的語法分析　　2.2.3 遞歸下降　　2.2.4 語法錯(cuò)誤　　2.2.5 表格驅(qū)動(dòng)的自上而下語法分析　　2.2.6 自下而上的語法分析　2.3 理論基礎(chǔ) 　　2.3.1 有窮自動(dòng)機(jī) 　　2.3.2 下推自動(dòng)機(jī) 　　2.3.3 文法和語言類 　2.4 總結(jié)和注記 　2.5 復(fù)習(xí) 　2.6 練習(xí) 　2.7 有關(guān)參考文獻(xiàn) 第3章 名字、作用域和約束 　3.1 約束時(shí)間的概念 　3.2 對象生存期和存儲(chǔ)管理 　　3.2.1 基于堆棧的分配 　　3.2.2 堆分配 　　3.2.3 廢料收集 　3.3 作用域規(guī)則 　　3.3.1 靜態(tài)作用域 　　3.3.2 動(dòng)態(tài)作用域 　　3.3.3 符號表 　　3.3.4 關(guān)聯(lián)表和中心引用表列 　3.4 引用環(huán)境的約束 　　3.4.1 子程序閉包 　　3.4.2 一級和二級子程序 　3.5 重載和相關(guān)概念 　3.6 語言設(shè)計(jì)中與名字有關(guān)的缺陷 　　3.6.1 作用域規(guī)則 　　3.6.2 分別編譯 　3.7 總結(jié)和注記 　3.8 復(fù)習(xí) 　3.9 練習(xí) 　3.10 有關(guān)參考文獻(xiàn) 第4章 語義分析 　4.1 語義分析器所扮演的角色 　4.2 屬性文法 　4.3 屬性流 　4.4 動(dòng)作例程 　4.5 屬性的空間管理 　　4.5.1 自下而上求值 　　4.5.2 自上而下求值 　4.6 語法樹的標(biāo)注 　4.7 總結(jié)和注記 　4.8 復(fù)習(xí) 　4.9 練習(xí) 　4.10 有關(guān)參考文獻(xiàn) 第5章 匯編層計(jì)算機(jī)體系結(jié)構(gòu)……第6章 控制流第7章 數(shù)據(jù)類型第8章 子程序和控制抽象第9章 構(gòu)造可運(yùn)行程序第10章 數(shù)據(jù)抽象和面向?qū)ο蟮?1章 非命令式程序設(shè)計(jì)模型：函數(shù)式和邏輯式語言第12章 并發(fā) 第13章 代碼改進(jìn) 附錄A 本書中提到的程序設(shè)計(jì)語言 附錄B 語言設(shè)計(jì)和語言實(shí)現(xiàn) 參考書目 索引

媒體關(guān)注與評論

　　“創(chuàng)新性地將程序設(shè)計(jì)語言設(shè)計(jì)與編譯器設(shè)計(jì)有機(jī)結(jié)合的實(shí)用教本。被全球上百所大學(xué)、學(xué)院列為標(biāo)準(zhǔn)教材和首席參考書目！”　　《程序設(shè)計(jì)語言——實(shí)踐之路》討論了正在使用中的各種最重要的語言的基本原理，著重探究了語言設(shè)計(jì)和語言實(shí)現(xiàn)之間各個(gè)方面的關(guān)鍵性聯(lián)系，強(qiáng)調(diào)了其中對于專業(yè)程序員最重要的各種問題。由于其嚴(yán)格而又容易被人接受的講述風(fēng)格，它能夠幫助你做好準(zhǔn)備，使你能為特定的工作項(xiàng)目選擇最好的語言，更有效地使用已經(jīng)了解的語言，更快更完整地學(xué)習(xí)新語言?！　√攸c(diǎn)：　　討論了程序設(shè)計(jì)語言設(shè)計(jì)的各種最新發(fā)展，其中涉及超過40種不同的語言，包括Ada 95，C，C++， Fortran95，Java，Lis p，Scheme，ML，Modula-3 Pascal和Prglo.　　特別關(guān)注實(shí)現(xiàn)方面的問題編譯器所使用的技術(shù)和相關(guān)工具如何影響著語言的設(shè)計(jì)，以有另一個(gè)方向的影響?！　「采w了語言設(shè)計(jì)和實(shí)現(xiàn)的許多高級論題，例如迭代器，協(xié)作程序，模板，分別編譯，I/O，類型推理和異常處理等?！　≌撌隽藚R編層體系結(jié)構(gòu)中的一些與語言相關(guān)的問題，這些在幫助人們理解編譯器究竟對程序做了些什么方面是至關(guān)重要的?！　∩钊胗懻摿擞嘘P(guān)面向?qū)ο蟪绦蛟O(shè)計(jì)的問題，包括多重繼承和方法約束。　　用一個(gè)特別的小節(jié)討論靜態(tài)連接和動(dòng)態(tài)連接?！　“松钊胩接懖l(fā)性的一章，討論了共享存儲(chǔ)和消息傳遞語言和庫的許多深入細(xì)節(jié)?！　τ诰幾g的形式基礎(chǔ)，函數(shù)式程序設(shè)計(jì)的形式基礎(chǔ)和邏輯程序設(shè)計(jì)的形式基礎(chǔ)，都提供了易于理解的基本材料。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

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

---