程序设计语言原理 pdf 夸克云 tct umd 下载 2025 azw3 kindle

《程序设计语言原理》是用于编制软件的，机器可识别、可执行的符号系统。程序设计语言的研究和开发始终处于计算机科学技术发展的中心。《程序设计语言原理》根据计算机科学与技术专业规范的要求，全面、系统地介绍各种高级程序设计语言的基本原理和特点。对于计算机专业学生从更高的层次来理解各种语言机制，指导对计算机语言的学习和程序设计具有重要意义。全书主要介绍了程序设计语言发展中的问题与趋向，以及程序设计语言各主要成分设计中的关键问题、主要步骤、表示法的基本技能，使读者学会分析、选择、调合、折中、设计语言的新特征。每章配有习题，供读者复习本节的知识点，以便及时验证本章学习的效果。《程序设计语言原理》讲解详细，通俗易懂，详略得当。《程序设计语言原理》既可以作为计算机专业学生的教材，也可以作为从事计算机专业高级技术人员的参考书。

《程序设计语言原理》

第0章 绪 论

0.1 语言的一般性质

0.2 程序设计语言的一般性质

0.3 为什么要研究程序设计语言

0.4 程序设计语言定义与处理器

0.5 21世纪程序设计语言的发展及未来发展趋势

0.6 本书的目的与组织

第1章 历史的回顾与程序设计语言分类

1.1 程序设计语言简史

1.2 程序设计语言的分类

1.3 本章小结

习 题

第2章 程序设计语言的设计概述

2.1 表示与抽象

2.2 程序设计语言的设计目标

2.3 设计准则

2.4 程序设计语言的规格说明

2.5 小 结

习 题

.第3章 值与类型

3.1 值

3.2 类 型

3.3 表达式

3.4 小 结

习 题

第4章 存 储

4.1 程序变量的时、空特性

4.2 组织存储对象的存储模型

4.3 悬挂引用

4.4 变量更新

4.5 有副作用的表达式

4.6 小 结

习 题

第5章 束 定

5.1 名字与束定

5.2 各种束定机制

5.3 声 明

5.4 束定的作用域与释义

5.5 束定机制与语言翻译器

5.6 小 结

习 题

第6章 函数和过程

6.1 函数和过程抽象

6.2 参数机制

6.3 变元求值策略

*** 高阶函数

6.5 小 结

习 题

第7章 程序控制

7.1 一般概述

7.2 顺序控制

7.3 条件选择控制

7.4 迭代控制

7.5 异常处理

7.6 小 结

习 题

第8章 程序的抽象与封装

8.1 模块和包

8.2 抽象数据类型

8.3 类 属

8.4 对象和类

8.5 小 结

习 题

第9章 类型系统

9.1 类型表示和实现

9.2 复合对象上的操作

9.3 类型的语义

9.4 类型检查

9.5 类属域

9.6 类型推理

9.7 小 结

习 题

第10章 面向对象程序设计语言

10.1 smalltalk语言

10.2 smalltalk的对象、类、方法的实现

10.3 面向对象的基本特征

10.4 ada95的面向对象机制

10.5 elffel

10.6 java语言的面向对象机制

10.7 小 结

第11章 函数式程序设计语言

11.1 过程式语言存在的问题

11.2 λ演算

11.3 函数式语言怎样克服命令式语言的缺点

11.4 函数式语言miranda

11.5 问题与讨论

11.6 小 结

习 题

第12章 逻辑式程序设计语言

12.1 谓词演算

12.2 自动定理证明

12.3 逻辑程序的风格

12.4 典型逻辑程序设计语言prolog

12.5 prolog评价

12.6 小 结

习 题

第13章 程序的并发性和进程交互原语

13.1 基本概念

13.2 并发程序带来的问题

13.3 并发程序的性质

13.4 低级并发机制和并发原语

13.5 小 结

习 题

第14章 进程交互机制和并发程序设计语言

14.1 基于变量共享的高层并发机制

14.2 基于信息传递的高层并发机制

14.3 远程过程调用和会合

14.4 多原语的并发机制

14.5 并发程序设计语言

14.6 小 结

习 题

第15章 描述性程序设计语言

15.1 概 述

15.2 置标语言

15.3 脚本语言

15.4 小 结

习 题

第16章 指称语义的原理与应用

16.1 指称语义原理

16.2 指称语义示例

16.3 程序抽象的语义描述

1*** 复合类型

16.5 程序失败的语义描述

16.6 指称语义应用

16.7 小 结

习 题

第17章 代数语义学

17.1 代数基础

17.2 代数规格说明

17.3 数据类型的代数规格说明

17.4 λ演算的代数规格说明

17.5 小 结

附 录

参考文献

麦中凡：一个很有学者精神的大学老师.

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：程序设计语言原理在线阅读

在线听书地址：程序设计语言原理在线收听

在线购买地址：程序设计语言原理在线购买

暂无原文赏析，正在全力查找中！

书籍介绍

《程序设计语言原理》是用于编制软件的，机器可识别、可执行的符号系统。程序设计语言的研究和开发始终处于计算机科学技术发展的中心。《程序设计语言原理》根据计算机科学与技术专业规范的要求，全面、系统地介绍各种高级程序设计语言的基本原理和特点。对于计算机专业学生从更高的层次来理解各种语言机制，指导对计算机语言的学习和程序设计具有重要意义。全书主要介绍了程序设计语言发展中的问题与趋向，以及程序设计语言各主要成分设计中的关键问题、主要步骤、表示法的基本技能，使读者学会分析、选择、调合、折中、设计语言的新特征。每章配有习题，供读者复习本节的知识点，以便及时验证本章学习的效果。《程序设计语言原理》讲解详细，通俗易懂，详略得当。《程序设计语言原理》既可以作为计算机专业学生的教材，也可以作为从事计算机专业高级技术人员的参考书。