程序设计语言概念

图书标准信息

• 作者 John C. Mitchell；Krzysztof Apt
• 出版社 清华大学出版社
• 出版时间 2005-10
• 版次 1
• ISBN 9787302111078
• 定价 56.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 438页
• 字数 704千字
• 原版书名 Concepts in Programming Languages

【内容简介】

本书是由斯坦福大学计算机科学教授JohnＣ。Ｍ、itchell编写的。程序设计语言为程序员写出一个好的程序提供了所需的抽象机制、组织原则以及控制结构。这本书所介绍是在程序设计语言中出现的概念，以及语言的设计方式对程序开发产生的影响。本书分为四部分：函数与基本原理；过程、类型、内存管理与控制；模块、抽象与面向对象编程；并发性与逻辑编程等。通过本书的学习，读者将会对过去40年中所使用过的各种程序设计语言有更好的理解，对程序设计语言的设计过程中出现的问题和折中有深的认识，也会对他们所使用的程序设计语言的利弊有更透彻的了解。由于不同的语言体现了不同的编程概念，把其他语言中的思想引入到自己所编写的程序中将会提高读者的编程能力。

  本书适于大学本科以及低年级研究生理解和研究现代程序设计语言。

【目录】

第1部分  函数与基本原理

  第1章  导言

    1.1  程序设计语言

    1.2  目标

    1.3  程序设计语言的历史

    1.4  组织：概念和语言

  第2章  可计算性

    2.1  部分函数与可计算性

    2.2  本章小结

    习题

  第3章  Lisp语言：函数、递归和列表

    3.1  Lisp语言的历史

    3.2  好的语言设计

    3.3  语言简述

    3.4  Lisp设计中的创新

    3.5  本章小结

    习题

  第4章  基本原理

    4.1  编译器和语法

    4.2  朗母达演算

    4.3  指称语义

    4.4  函数型语言和命令型语言

    4.5  本章小结

    习题

第2部分  过程、类型、内存管理与控制

  第5章  Algol与ML语言

    5.1  Algol家族的程序语言

    5.2  C语言的发展

    5.3  LCF系统和ML

    5.4  ML程序设计语言

    5.5  本章小结

    习题

  第6章  类型系统和类型推测

    6.1  程序设计中的类型

    6.2  类型安全和类型检查

    6.3  类型推测

    6.4  多态和重载

    6.5  类型声明和类型等价性

    6.6  本章小结

    习题

  第7章  作用域、函数和存储管理

    7.1  块结构的语言

    7.2  内嵌块

    7.3  函数和子程序

    7.4  高阶函数

    ……

  第8章  顺序语言中的控制

第3部分  模块、抽象与面向对象程序设计

  第9章  数据抽象和模块化

  第10章  面向对象语言的概念

  第11章  对象的历史：Simula和Smalltalk

  第12章  C++对象与运行效率

  第13章  可移植性和安全性：Java语言

第4部分  并发性与逻辑编程

  第14章  并发和分布式编程

  第15章  逻辑编程范例和Prolog

附录A  程序实例补充

附录B  术语表