多范型程序設(shè)計(jì)語(yǔ)言

序
前言
第一篇模塊化程序設(shè)計(jì)語(yǔ)言
第1章Ada語(yǔ)言
I.1引論
1.2基本數(shù)據(jù)類型和表達(dá)式
l.3組合數(shù)據(jù)類型
1.4控制結(jié)構(gòu)
1.5子程序
1.6程序包
1.7異常
1.8訪問(wèn)類型
1.9類屬單元
1.10文件
第2章Modula一2語(yǔ)言
2.1引論
2.2數(shù)
2.3常量、變量與數(shù)據(jù)類型
2.4布爾類型與字符類型
2.5基本控制語(yǔ)句
2.6枚舉類型與子界類型
2.7數(shù)組與記錄
2.8過(guò)程與函數(shù)
2.9集合類型
2.10動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)
2.11模塊
2.12I／0流
第二篇函數(shù)式程序設(shè)計(jì)語(yǔ)言
第3章Scheme語(yǔ)言
3.1引論
3.2數(shù)、表達(dá)式與簡(jiǎn)單程序
3.3復(fù)合數(shù)據(jù)
3.4函數(shù)
3.5控制結(jié)構(gòu)
3.6輸入輸出
第4章SML語(yǔ)言
4.1引論
4.2數(shù)據(jù)對(duì)象與運(yùn)算符
4.3控制表達(dá)式
4.4函數(shù)
4.5異常
第5章Haskell語(yǔ)言
5.1引論
5.2數(shù)據(jù)類型
5.3函數(shù)
5.4數(shù)列
5.5輸入輸出
第三篇面向?qū)ο蟪绦蛟O(shè)計(jì)語(yǔ)言
第6章smalltalk語(yǔ)言
6.1引論
6.2對(duì)象與消息
6.3控制結(jié)構(gòu)
6.4類與方法
6.5繼承性與多態(tài)性
第四篇邏輯式程序設(shè)計(jì)語(yǔ)言
第7章Prolog語(yǔ)言
7.1引論
7.2Prolog的三個(gè)基本語(yǔ)句
7.3數(shù)據(jù)結(jié)構(gòu)與遞歸
總習(xí)題
參考文獻(xiàn)