程序设计语言研究与发展2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

程序设计语言研究与发展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