程序設計語言概念

內(nèi)容概要

本書是由斯坦福大學計算機科學教授JohnＣ。Ｍ、itchell編寫的。程序設計語言為程序員寫出一個好的程序提供了所需的抽象機制、組織原則以及控制結(jié)構(gòu)。這本書所介紹是在程序設計語言中出現(xiàn)的概念，以及語言的設計方式對程序開發(fā)產(chǎn)生的影響。本書分為四部分：函數(shù)與基本原理；過程、類型、內(nèi)存管理與控制；模塊、抽象與面向?qū)ο缶幊?；并發(fā)性與邏輯編程等。通過本書的學習，讀者將會對過去40年中所使用過的各種程序設計語言有更好的理解，對程序設計語言的設計過程中出現(xiàn)的問題和折中有深的認識，也會對他們所使用的程序設計語言的利弊有更透徹的了解。由于不同的語言體現(xiàn)了不同的編程概念，把其他語言中的思想引入到自己所編寫的程序中將會提高讀者的編程能力。    本書適于大學本科以及低年級研究生理解和研究現(xiàn)代程序設計語言。

書籍目錄

第1部分  函數(shù)與基本原理  第1章  導言	    1.1  程序設計語言	    1.2  目標	    1.3  程序設計語言的歷史    1.4  組織：概念和語言	  第2章  可計算性    2.1  部分函數(shù)與可計算性	    2.2  本章小結(jié)	    習題	  第3章  Lisp語言：函數(shù)、遞歸和列表	    3.1  Lisp語言的歷史	    3.2  好的語言設計	    3.3  語言簡述	    3.4  Lisp設計中的創(chuàng)新	    3.5  本章小結(jié)	    習題	  第4章  基本原理    4.1  編譯器和語法	    4.2  朗母達演算	    4.3  指稱語義	    4.4  函數(shù)型語言和命令型語言    4.5  本章小結(jié)	    習題	第2部分  過程、類型、內(nèi)存管理與控制  第5章  Algol與ML語言	    5.1  Algol家族的程序語言	    5.2  C語言的發(fā)展	    5.3  LCF系統(tǒng)和ML	    5.4  ML程序設計語言	    5.5  本章小結(jié)	    習題  第6章  類型系統(tǒng)和類型推測	    6.1  程序設計中的類型	    6.2  類型安全和類型檢查    6.3  類型推測    6.4  多態(tài)和重載	    6.5  類型聲明和類型等價性	    6.6  本章小結(jié)    習題	  第7章  作用域、函數(shù)和存儲管理    7.1  塊結(jié)構(gòu)的語言	    7.2  內(nèi)嵌塊	    7.3  函數(shù)和子程序	    7.4  高階函數(shù)    ……	  第8章  順序語言中的控制第3部分  模塊、抽象與面向?qū)ο蟪绦蛟O計  第9章  數(shù)據(jù)抽象和模塊化	  第10章  面向?qū)ο笳Z言的概念	  第11章  對象的歷史：Simula和Smalltalk	  第12章  C++對象與運行效率	  第13章  可移植性和安全性：Java語言	第4部分  并發(fā)性與邏輯編程  第14章  并發(fā)和分布式編程	  第15章  邏輯編程范例和Prolog	附錄A  程序?qū)嵗a充	附錄B  術(shù)語表

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    程序設計語言概念 PDF格式下載

---