正版 程序设计语言原理 [美]Robert W.Sebesta 机械工业出版社 97

译者序第12版的变化前言致谢第1章 预备知识11.1 掌握程序设计语言概念的必要性11.2 程序设计领域31.2.1 科学计算应用31.2.2 商业应用31.2.3 人工智能41.2.4 Web软件41.3 语言评价标准41.3.1 可读性51.3.2 可写性91.3.3 可靠性91.3.4 成本101.4 影响语言设计的因素111.4.1 计算机体系结构111.4.2 程序设计方法学131.5 程序设计语言分类141.6 语言设计中的权衡141.7 实现方法151.7.1 编译161.7.2 纯解释181.7.3 混合实现系统191.7.4 预处理程序191.8 程序设计环境20小结20复习题21习题21第2章 主要程序设计语言发展简史232.1 Zuse研制的Plankalkül语言232.1.1 历史背景232.1.2 语言概述252.2 伪代码252.2.1 短码262.2.2 快码262.2.3 UNIVAC编译系统272.2.4 相关工作272.3 IBM 704和Fortran272.3.1 历史背景272.3.2 设计过程282.3.3 Fortran I概述282.3.4 Fortran II292.3.5 Fortran IV、77、90、95、2003和2008292.3.6 评价302.4 函数式程序设计语言：LISP312.4.1 人工智能的开端和列表处理312.4.2 LISP的设计过程322.4.3 语言概述322.4.4 评价332.4.5 LISP的两种后继语言342.4.6 相关语言342.5 迈向成熟的第一步：ALGOL 60352.5.1 历史背景352.5.2 早期设计过程352.5.3 ALGOL 58概述362.5.4 ALGOL 58报告的接受度372.5.5 ALGOL 60的设计过程372.5.6 ALGOL 60概述372.5.7 评价382.6 商业处理语言：COBOL392.6.1 历史背景392.6.2 FLOW-MATIC402.6.3 COBOL的设计过程402.6.4 评价402.7 分时处理的开始：Basic422.7.1 设计过程432.7.2 语言概述432.7.3 评价432.8 满足所有人的需求：PL/I462.8.1 历史背景472.8.2 设计过程472.8.3 语言概述482.8.4 评价482.9 两种早期的动态语言：APL和SNOBOL492.9.1 APL的起源及特征492.9.2 SNOBOL的起源和特征502.10 数据抽象的开端：SIMULA 67502.10.1 设计过程502.10.2 语言概述502.11 正交设计：ALGOL 68502.11.1 设计过程512.11.2 语言概述512.11.3 评价512.12 ALGOL系列语言的早期继承者522.12.1 简洁的设计：Pascal522.12.2 一个轻便的系统语言：C532.13 基于逻辑的程序设计：Prolog552.13.1 设计过程552.13.2 语言概述552.13.3 评价562.14 历史上规模最大的语言设计：Ada562.14.1 历史背景562.14.2 设计过程562.14.3 语言概述572.14.4 评价582.14.5 Ada 95和Ada 2005582.15 面向对象程序设计：Smalltalk592.15.1 设计过程592.15.2 语言概述602.15.3 评价602.16 结合命令式和面向对象的特性：C++612.16.1 设计过程612.16.2 语言概述622.16.3 评价622.16.4 Swift：Objective-C的替代品622.16.5 另一个相关语言：Delphi632.17 基于命令式的面向对象语言：Java632.17.1 设计过程632.17.2 语言概述642.17.3 评价652.18 脚本语言662.18.1 Perl的起源与特点662.18.2 JavaScript的起源与特点672.18.3 PHP的起源与特点692.18.4 Python的起源与特点692.18.5 Ruby的起源与特点702.19 .NET旗帜语言：C#702.19.1 设计过程702.19.2 语言概述712.19.3 评价712.20 混合标记程序设计语言722.20.1 XSLT722.20.2 JSP73小结74文献注记74复习题74习题76程序设计练习76第3章 语法和语义描述773.1 概述773.2 语法描述的一般问题783.2.1 语言识别器783.2.2 语言生成器793.3 语法描述的形式化方法793.3.1 Backus-Naur范式与上下文无关文法793.3.2 扩展的BNF范式883.3.3 文法和识别器903.4 属性文法903.4.1 静态语义903.4.2 基本概念913.4.3 属性文法的定义913.4.4 内在属性913.4.5 属性文法示例913.4.6 计算属性值933.4.7 评价943.5 描述程序的含义：动态语义943.5.1 操作语义953.5.2 指称语义973.5.3 公理语义100小结110文献注记110复习题110习题111第4章 词法和语法分析1154.1 概述1154.2 词法分析1164.3 语法分析问题1224.3.1 语法分析基础1224.3.2 自顶向下的语法分析器1234.3.3 自底向上的语法分析器1244.3.4 语法分析的复杂度1244.4 递归下降的语法分析1244.4.1 递归下降的语法分析过程1244.4.2 LL文法类1294.5 自底向上的语法分析1314.5.1 自底向上的语法分析器的语法分析问题1314.5.2 移进-归约算法1334.5.3 LR语法分析器133小结137复习题138习题138程序设计练习139第5章 名字、绑定与作用域1405.1 概述1405.2 名字1405.2.1 设计问题1405.2.2 名字形式1415.2.3 特殊单词1415.3 变量1425.3.1 名字1425.3.2 地址1425.3.3 类型1435.3.4 值1435.4 绑定的概念1435.4.1 属性到变量的绑定1445.4.2 绑定类型1445.4.3 存储绑定和生存期1475.5 作用域1495.5.1 静态作用域1495.5.2 分程序1505.5.3 声明顺序1535.5.4 全局作用域1535.5.5 对静态作用域的评价1565.5.6 动态作用域1565.5.7 对动态作用域的评价1575.6 作用域和生存期1575.7 引用环境1585.8 有名常量159小结161复习题161习题162程序设计练习165第6章 数据类型1676.1 概述1676.2 基本数据类型1686.2.1 数值类型1686.2.2 布尔类型1706.2.3 字符类型1716.3 字符串类型1716.3.1 设计问题1716.3.2 字符串及其运算1716.3.3 字符串长度选项1736.3.4 评价1736.3.5 字符串类型的实现1746.4 枚举类型1756.4.1 设计问题1756.4.2 设计1756.4.3 评价1766.5 数组类型1776.5.1 设计问题1776.5.2 数组和索引1786.5.3 下标绑定和数组的种类1796.5.4 数组初始化1806.5.5 数组运算1816.5.6 矩阵数组和锯齿形数组1826.5.7 切片1826.5.8 评价1836.5.9 数组类型的实现1836.6 关联数组1856.6.1 结构与运算1856.6.2 关联数组的实现1866.7 记录类型1866.7.1 记录的定义1876.7.2 记录中字段的引用1876.7.3 评价1886.7.4 记录类型的实现1886.8 元组类型1896.9 列表类型1906.10 联合类型1926.10.1 设计问题1926.10.2 判别式与自由联合类型1926.10.3 F#的联合类型1936.10.4 评价1936.10.5 联合类型的实现1946.11 指针和引用类型1946.11.1 设计问题1946.11.2 指针运算1946.11.3 指针的相关问题1956.11.4 C和C++中的指针1966.11.5 引用类型1986.11.6 评价1996.11.7 指针和引用类型的实现1996.12 可选类型2036.13 类型检查2036.14 强类型2046.15 类型等价2056.16 理论和数据类型208小结209文献注记210复习题210习题211程序设计练习212第7章 表达式与赋值语句2147.1 概述2147.2 算术表达式2147.2.1 运算符求值顺序2157.2.2 运算分量求值顺序2197.3 重载运算符2217.4 类型转换2227.4.1 表达式中的强制转换2227.4.2 显式类型转换2237.4.3 表达式错误2247.5 关系表达式和布尔表达式2247.5.1 关系表达式2247.5.2 布尔表达式2257.6 短路求值2267.7 赋值语句2277.7.1 简单赋值2277.7.2 条件赋值2277.7.3 复合赋值运算符2277.7.4 一元赋值运算符2287.7.5 赋值表达式2297.7.6 多重赋值2297.7.7 函数式程序设计语言中的赋值2307.8 混合方式赋值230小结231复习题231习题232程序设计练习233第8章 语句级控制结构2348.1 概述2348.2 选择语句2358.2.1 二路选择语句2358.2.2 多路选择语句2388.3 重复语句2448.3.1 计数控制循环2458.3.2 逻辑控制循环2488.3.3 用户定义的循环控制机制2498.3.4 基于数据结构的迭代2508.4 无条件分支2538.5 保护命令2548.6 结论256小结256复习题257习题257程序设计练习258第9章 子程序2609.1 概述2609.2 子程序基础2609.2.1 子程序的一般性质2609.2.2 基本定义2609.2.3 参数2629.2.4 过程与函数2659.3 子程序的设计问题2659.4 局部引用环境2669.4.1 局部变量2669.4.2 嵌套子程序2679.5 参数传递方法2679.5.1 参数传递的语义模型2689.5.2 参数传递的实现模型2689.5.3 参数传递方法的实现2729.5.4 常用语言的参数传递方法2729.5.5 参数类型检查2749.5.6 多维数组参数2769.5.7 设计考量2779.5.8 参数传递实例2779.6 子程序作为参数2809.7 子程序间接调用2819.8 函数设计问题2829.8.1 函数的副作用2839.8.2 返回值类型2839.8.3 返回值的个数2839.9 重载子程序2839.10 泛型子程序2849.10.1 C++泛型函数2859.10.2 Java 5.0泛型方法2869.10.3 C# 2005泛型方法2879.10.4 F#泛型函数2889.11 用户定义的重载运算符2889.12 闭包2899.13 协同程序290小结292复习题293习题294程序设计练习295第10章 子程序实现29710.1 调用和返回的一般语义29710.2 “简单”子程序的实现29710.3 具有栈动态局部变量的子程序实现29910.3.1 更复杂的活动记录29910.3.2 不含递归的例子30110.3.3 递归30210.4 嵌套子程序30410.4.1 基础30410.4.2 静态链30510.5 分程序30910.6 动态作用域的实现31010.6.1 深层访问31010.6.2 浅层访问311小结312复习题312习题313程序设计练习315第11章 抽象数据类型与封装结构31611.1 抽象的概念31611.2 数据抽象简介31711.2.1 浮点型抽象数据类型31711.2.2 用户自定义抽象数据类型31711.2.3 示例31811.3 抽象数据类型的设计问题31911.4 语言示例31911.4.1 C++中的抽象数据类型32011.4.2 Java中的抽象数据类型32511.4.3 C#中的抽象数据类型32611.4.4 Ruby中的抽象数据类型32711.5 参数化抽象数据类型33011.5.1 C++33011.5.2 Java 5.033111.5.3 C# 200533311.6 封装结构33311.6.1 概述33411.6.2 C中的封装33411.6.3 C++中的封装33411.6.4 C#程序集33511.7 命名封装33611.7.1 C++命名空间33611.7.2 Java包33711.7.3 Ruby模块338小结338复习题339习题340程序设计练习340第12章 面向对象程序设计支持34212.1 概述34212.2 面向对象程序设计34212.2.1 引言34212.2.2 继承34312.2.3 动态绑定34412.3 面向对象语言的设计问题34612.3.1 对象的排他性34612.3.2 子类是否为子类型34612.3.3 单继承与多继承34712.3.4 对象的分配和释放34712.3.5 动态绑定与静态绑定34812.3.6 嵌套类34812.3.7 对象的初始化34912.4 支持面向对象程序设计的特定语言34912.4.1 Smalltalk34912.4.2 C++35012.4.3 Java35912.4.4 C#36212.4.5 Ruby36312.5 面向对象结构的实现36612.5.1 存储示例数据36612.5.2 方法调用与方法的动态绑定36612.6 反射36812.6.1 概述36812.6.2 什么是反射36812.6.3 Java中的反射36912.6.4 C#中的反射371小结372复习题373习题375程序设计练习375第13章 并发37613.1 概述37613.1.1 多处理器体系结构37713.1.2 并发的分类37813.1.3 使用并发的动机37813.2 子程序级并发37913.2.1 基本概念37913.2.2 并发语言设计38213.2.3 设计问题38213.3 信号量38213.3.1 概述38213.3.2 合作同步38313.3.3 竞争同步38513.3.4 评价38613.4 管程38613.4.1 概述38613.4.2 竞争同步38613.4.3 合作同步38613.4.4 评价38713.5 消息传递38713.5.1 概述38713.5.2 同步消息传递的概念38813.6 Ada并发支持38813.6.1 基本概念38813.6.2 合作同步39113.6.3 竞争同步39213.6.4 受保护对象39313.6.5 评价39413.7 Java线程39413.7.1 线程类39513.7.2 优先级39713.7.3 信号量39713.7.4 竞争同步39713.7.5 合作同步39813.7.6 非阻塞同步40113.7.7 显式锁40113.7.8 评价40213.8 C#线程40213.8.1 基本线程操作40213.8.2 同步线程40413.8.3 评价40513.9 函数式语言中的并发40513.9.1 Multi-LISP40513.9.2 并发ML40613.9.3 F#40613.10 语句级并发40713.10.1 高性能Fortran407小结409文献注记410复习题410习题411程序设计练习412第14章 异常处理和事件处理41314.1 异常处理概述41314.1.1 基本概念41414.1.2 设计问题41514.2 C++异常处理41714.2.1 异常处理程序41714.2.2 异常绑定到处理程序41814.2.3 延续41814.2.4 其他设计选择41814.2.5 示例41914.2.6 评价42014.3 Java异常处理42014.3.1 异常类别42114.3.2 异常处理程序42114.3.3 异常绑定到处理程序42114.3.4 其他设计选择42214.3.5 示例42314.3.6 finally子句42414.3.7 断言42514.3.8 评价42514.4 Python和Ruby的异常处理42614.4.1 Python42614.4.2 Ruby42714.5 事件处理概述42814.6 J

罗伯特·W. 塞巴斯塔(Robert W. Sebesta) 科罗拉多大学斯普林斯分校计算机科学系荣休副教授，拥有40多年计算机科学课程教学经验，研究兴趣包括程序设计语言的设计和评估以及Web程序设计。

讨论分析各种语言结构与概念的设计问题，比较各种语言相关设施的优劣，讲授程序设计语言的基本原理。

本书从为什么学习程序设计语言、常用程序设计语言的演化史、评估程序设计语言结构的标准，以及这些语言基本的实现方法开始讲起，通过不局限于特定语言种类地分析语言结构的设计问题,检测设计选择,以及比较设计可选方案来讲述程序设计语言基本原理。