图书介绍：本书对现代程序设计语言所运用的主要概念进行了讲解，如函数、类型、内存管理和控制。本书独到之处在于论述全面，对几种主要的面向对象程序设计语言均作了对比。另有几章讲述了对象发展历史、Simula和Smalltalk、优秀程序设计语言C++和Java。作者讲解了基本性问题，如λ–微积分和符号语义学，并以易读的、自然的风格呈现，侧重描述这些理论的主要内涵。高级论题包括并发性与并发面向对象程序设计。有单独一章逻辑程序设计，分析针对几种问题的特殊化程序设计语言方法的重要性。本书可以使读者了解编程语言的设计中所进行的权衡，并对他们所使用的程序设计语言的优势和弊端有更好的理解。本书适用于高等院校计算机及相关专业本科高年级或研究生的程序设计语言类课程，对从事程序设计的专业人员也有很好的参考价值。