程序设计语言原理 :b第8版 = Concepts of programming languages

封面 书名 版权 前言 目录 第1章 基本概念 学习程序设计语言原理的缘由 程序设计应用领域 语言评估标准 影响语言设计的因素 语言分类 语言设计中的权衡 实现方法 程序设计环境 小结*复习题*练习题 第2章 主要程序设计语言的发展 Zuse的Plankalkül语言 最小硬件的程序设计:伪代码 IBM 704计算机与Fortran 函数式程序设计语言:LISP 迈向成熟的第一步:ALGOL60 商务记录计算机化:COBOL 分时操作的开始:BASIC 用途广泛的语言:PL/I 两种早期的动态语言:APL和SNOBOL 数据抽象的开始:SIMULA67 正交性语言的设计:ALGOL 68 早期ALGOL系列语言的后代产品 基于逻辑的程序设计:Prolog 历史上规模最大的语言设计:Ada 面向对象的程序设计:Smalltalk 结合命令式与面向对象的特性:C++ 一种基于命令式的面向对象语言:Java 脚本语言:JavaScript、 PHP、Python和Ruby 一种基于C的新世纪语言:C 标志与程序设计混合式语言 小结*文献注释*复习题*练习题*程序设计练习题 第3章 描述语法和语义 概述 描述语法的普遍问题 描述语法的形式方法 属性文法 描述程序的意义:动态语义 小结*文献注释*复习题*练习题 第4章 词法分析和语法分析 概述 词法分析 语法分析问题 递归下降语法分析 自底向上语法分析 小结*复习题*练习题*程序设计练习题 第5章 名字、绑定、类型检测和作用域 概述 名字 变量 绑定的概念 类型检测 强类型化 类型等价 作用域 作用域与生存期 引用环境 命名常量 小结*复习题*练习题*程序设计练习题 第6章 数据类型 概述 基本数据类型 字符串类型 用户定义的序数类型 数组类型 关联数组 记录类型 联合类型 指针类型与引用类型 小结*文献注释*复习题*练习题*程序设计练习题 第7章 表达式与赋值语句 概述 算术表达式 重载操作符 类型转换 关系表达式和布尔表达式 短路求值 赋值语句 混合模式赋值 小结*复习题*练习题*程序设计练习题 第8章 语句层次的控制结构 概述 选择语句 循环语句 无条件分支 守卫的命令 结论 小结*复习题*练习题*程序设计练习题 第9章 子程序 概述 子程序的基本原理 子程序的设计问题 局部引用环境 参数传递方法 子程序名作为参数 重载子程序 通用子程序 函数的设计问题 用户定义的重载操作符 协同程序 小结*复习题*练习题*程序设计练习题 第10章 实现子程序 调用与返回的一般语义 实现“简单”子程序 实现具有栈动态局部变量的子程序 嵌套子程序 块 实现动态作用域 小结*复习题*练习题 第11章 抽象数据类型和封装结构 抽象概念 数据抽象介绍 抽象数据类型的设计问题 语言示例 有参数的抽象数据类型 封装结构 命名封装 小结*复习题*练习题*程序设计练习题 第12章 支持面向对象的程序设计 概述 面向对象程序设计 面向对象语言的设计问题 Smalltalk对面向对象程序设计的支持 C++对面向对象程序设计的支持 Java对面向对象程序设计的支持 C#对面向对象程序设计的支持 Ada 95对面向对象程序设计的支持 Ruby对面向对象程序设计的支持 JavaScript的对象模型 面向对象结构的实现 小结*复习题*练习题*程序设计练习题 第13章 并发 概述 子程序层次并发的介绍 信号量 管程 消息传递 Ada对并发的支持 Java线程 C#线程 语句层次的并发 小结*文献注释*复习题*练习题*程序设计练习题 第14章 异常处理和事件处理 异常处理概述 Ada中的异常处理 C++中的异常处理 Java中的异常处理 事件处理概述 Java的事件处理 小结*文献注释*复习题*练习题*程序设计练习题 第15章 函数式程序设计语言 概述 数学函数 函数式程序设计语言的基础 第一种函数式程序设计语言:LISP Scheme概述 COMMON LISP ML Haskell 函数式语言的应用 函数式语言和命令式语言的比较 小结*文献注释*复习题*练习题*程序设计练习题 第16章 逻辑程序设计语言 概述 谓词演算的简短介绍 谓词演算与定理证明 逻辑程序设计概述 Prolog的起源 Prolog的基本元素 Prolog的缺陷 逻辑程序设计的应用 小结*文献注释*复习题*练习题*程序设计练习题 参考文献 索引