多范型程序設(shè)計語言

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