程序设计语言研究与发展PDF电子书下载

目 录 1

全国程序设计语言发展与教学学术会议组织机构………………………………………………（Ⅰ）前言…………………………………………………………………………………………………（Ⅲ）·发展与展望·程序设计语言进展 麦中凡 1

程序设计语言的现状、发展与标准化 程虎 10

实时程序设计语言的过去、现在和将来 顾治华 18

·形式描述技术· 23

程序设计语言理解中的若干问题 钱树人 23

分层逻辑程序的启发式不动点语义 吕文进 27

形式语义学的实用化 王岩冰张家重 33

CHILL语义的形式描述方法及其应用 孟洛明 39

代数规范描述及其语义的研究 宋群聂承启 43

·面向对象语言· 50

试论对传统通用程序设计语言进行面向对象扩充 郑国梁李宣东 50

面向对象方法及其支撑语言的特征、缺陷和发展 郭浩志 54

C++信息抽象系统 蔡成滇 龙舜 59

C++面向对象程序设计的若干特点 陆常周 61

·描述语言与规格说明语言· 62

一种可执行函数式规格说明语言FSL 廖湖声 62

一种实时描述语言系统的设计与实现 王道忠卢炎生刘云生 67

一种描述结构化程序设计的新方法 郭清富 72

等式逻辑程序设计语言的设计和实现 陈意云 卢荧 肖勇 74

·逻辑型语言· 74

中介逻辑程序设计MILL及其解释系统 宋云波朱梧槚徐宝文 80

·函数型语言· 82

并发函数型语言CM的设计及实现 黄林鹏倪德明孙永强 82

VFDP：一种直观的函数分割型程序设计 程正潮滕至阳沈军张晓蓉 89

函数分割型程序设计FDP及其实现技术 黄坚 96

·并发语言与实时语言· 99

一个对象型实时语言模型 伍军张新俊．何克清 99

分布式科学计算及分布式FORTRAN 徐泽同 106

基于复杂对象的逻辑数据语言 周傲英施伯乐 110

·数据库语言与知识库语言· 110

关于知识库语言的几种考虑 朱扬勇 121

九十年代的数据库问题 徐泽同 车克健 125

使用中SQL语言及其标准的看法 罗文化陈晓跃 127

一种面向对象的二维数据库查询语言 张春海 129

·Ada语言· 130

Ada并发程序复杂性度量 王振宇陈利 130

ADACOR：Ada与Oracle一个接口系统的设计与实现 袁文军王振宇 137

CRL/Ada语言及其生成系统 杨洪徐宝文王海清 143

Ada的静态程序依赖性分析 杨洪徐宝文徐笛子张文军 146

支持现代软件方法学的Ada语言 李云清 147

·决策支持系统语言· 148

决策支持系统语言的设计和开发 陈文伟 148

·程序设计语言学· 154

关于“计算机语言”与“计算机语言学” 亢润民钟联炯 罗钧 154

·其它语言· 157

Polya语言主要特征 张乃孝屈婉玲宋今 157

F PC的内部结构及其递归实现 王文革 162

Vasm：面向微机的程序设计语言及程序装配系统 刘方鑫刘厚泉 163

一种模块化程序设计语言 王启忠 164

·标准化· 165

建立中文应用平台必须走国际化的道路 吴庆宝 165

·教学方法· 170

程序设计语言课教学中的几个问题 潘正伯 170

MIS专业程序设计语言教学的研究 蔡淑琴刘仲英 王先远 邓成梁 176

C语言教学探讨 韦司滢刘仲英 180

X语言程序设计＝算法＋数据结构＋程序＋设计方法学＋X语言 殷新春 185

T urbo Prolog搜索策略的教学与实践 李龙澍 189

寓“精新真”于程序设计语言教学之中 杨威 194

计算机程序设计语言教学标准化 林东 196

论我国高等工程专科教育计算机程序设计语言教学的理状和发展 萧至坚 198

BASIC语言结构化程序设计的新途径 吴银芝 200

关于理科学生程序设计能力培养方法的探讨 陆常周 杨文秀 202

BASIC语言和 FORTRAN语言的同步教学法 王元航 204

SQL、ORACLE与数据库教学 高珍 205

·课程与教材建设· 206

程序设计语言课的设置 裘宗燕 206

高师计算机语言课教学问题探讨 项国雄 212

程序设计语言教材与教学中几个应引起注意的问题 王培铎 215

汇编语言教材建设探讨 罗杰 217

汇编语言课程的特点及必要性 索梅 219

程序设计语言教学与教材要求 彭光前刘金秀 220

数据库语言教材难点探讨 李秀萍 221

用N-S-Z图改进谭浩强主编BASIC新教材 袁方 222

·附录· 223

附录A 程序设计语言索引 223

附录B作者索引 229

附录C作者单位索引 231

后记 234