多范型程序设计语言

本书主要介绍程序设计语言范型中几种具有代表性的程序设计语言。全书共分为四篇：第一篇为模块化程序设计语言，介绍了Ada，Moduld-2的基本概念和特点，以及程序设计的方法；第二篇为函数式程序设计语言，介绍了Scheme，SML和Haskell三种程序设计语言，阐述了它们的特点以及如何使用函数式语言编写程序；第三篇为面向对象程序设计语言，介绍了纯面向对象语言Smalltalk，集中体现了类的继承、封装、多态等特性；第四篇为逻辑式程序设计语言，介绍了一种逻辑推理很强的人工智能语言 Prolog，以及利用这种语言进行问题求解的过程。 本书可作为相关程序设计语言课程教材，对学习程序设计方法学和程序设计语言原理等课程也有所借鉴和帮助，还可作为从事程序设计的软件开发人员及计算机技术爱好者的参考用书。

暂缺《多范型程序设计语言》作者简介

序
前言
第一篇模块化程序设计语言
第1章Ada语言
I.1引论
1.2基本数据类型和表达式
l.3组合数据类型
1.4控制结构
1.5子程序
1.6程序包
1.7异常
1.8访问类型
1.9类属单元
1.10文件
第2章Modula一2语言
2.1引论
2.2数
2.3常量、变量与数据类型
2.4布尔类型与字符类型
2.5基本控制语句
2.6枚举类型与子界类型
2.7数组与记录
2.8过程与函数
2.9集合类型
2.10动态数据结构
2.11模块
2.12I／0流
第二篇函数式程序设计语言
第3章Scheme语言
3.1引论
3.2数、表达式与简单程序
3.3复合数据
3.4函数
3.5控制结构
3.6输入输出
第4章SML语言
4.1引论
4.2数据对象与运算符
4.3控制表达式
4.4函数
4.5异常
第5章Haskell语言
5.1引论
5.2数据类型
5.3函数
5.4数列
5.5输入输出
第三篇面向对象程序设计语言
第6章smalltalk语言
6.1引论
6.2对象与消息
6.3控制结构
6.4类与方法
6.5继承性与多态性
第四篇逻辑式程序设计语言
第7章Prolog语言
7.1引论
7.2Prolog的三个基本语句
7.3数据结构与递归
总习题
参考文献