程序設(shè)計語言

內(nèi)容概要

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

作者簡介

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

書籍目錄

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

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

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

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

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

---