Apla与程序设计语言泛型特性比较研究 被引量：8

1

作者 左正康 刘志豪 +5 位作者 黄箐 游珍 王昌晶 石海鹤 胡启敏 陶小明 《江西师范大学学报（自然科学版）》 CAS 北大核心 2019年第5期454-461,共8页

面向对象编程(OOP)是以对象为编程核心,而泛型程序设计(GP)是根据一个类型所需要的操作需求进行分类和抽象,即GP是一种以类型需求为核心的程序设计范式.描述完整的GP类型需求包含静态语法约束和动态语义约束,主流程序设计语言已经支持... 面向对象编程(OOP)是以对象为编程核心,而泛型程序设计(GP)是根据一个类型所需要的操作需求进行分类和抽象,即GP是一种以类型需求为核心的程序设计范式.描述完整的GP类型需求包含静态语法约束和动态语义约束,主流程序设计语言已经支持静态语法约束,但受语言其他方面的限制,抽象层次较低,定义的泛型概念难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离.该文综合比较了Java、C#、C++、Concept 4种支持泛型程序设计的语言,基于抽象程序设计语言Apla提出了离完整实现GP更近一步的泛型机制,通过同典型泛型实例对各种程序设计语言泛型特性进行分析,验证抽象泛型程序设计语言Apla中该泛型机制的优越性. 展开更多

关键词 泛型程序设计 动态语义约束 抽象程序设计语言

在线阅读 下载PDF 职称材料

程序设计语言的抽象与语言族模型 被引量：2

2

作者 张乃孝 郑红军 《北京大学学报（自然科学版）》 CAS CSCD 北大核心 1997年第5期650-657,共8页

程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念，在建立的语言之代数模型下，给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义，并提出了在这３种关系下构成的语言族模型。

关键词 程序设计语言 语言抽象 语言族模型

在线阅读 下载PDF 职称材料

基于抽象数据类型的程序设计语言的设计 被引量：4

3

作者 钟珞 《计算机应用研究》 CSCD 1991年第1期2-5,共4页

本文以实际设计出一种小型程序设计语言的过程,给出了一种基于抽象数据类型设计程序设计语言的方法。该种方法首先确定一种抽象数据类型,并将各种语句视为抽象数据类型上的操作,再利用一种简单的操作语义函数确定各语句成份的含义,以得... 本文以实际设计出一种小型程序设计语言的过程,给出了一种基于抽象数据类型设计程序设计语言的方法。该种方法首先确定一种抽象数据类型,并将各种语句视为抽象数据类型上的操作,再利用一种简单的操作语义函数确定各语句成份的含义,以得到程序设计语言。 展开更多

关键词 程序设计语言 抽象数据 设计

在线阅读 下载PDF 职称材料

C语言程序设计课程中的计算思维探析 被引量：67

4

作者 汪红兵 姚琳 +1 位作者 武航星 张敏 《中国大学教学》 CSSCI 北大核心 2014年第9期59-62,共4页

计算思维的本质是抽象和自动化。对于C语言程序来说,抽象就是使用程序、函数、函数调用以及数据类型、常量、变量、数组和链表等元素描述现实生活中的系统、功能、功能调用以及单个特征或特征组合等,自动化则体现为函数内部的语句在EIP... 计算思维的本质是抽象和自动化。对于C语言程序来说,抽象就是使用程序、函数、函数调用以及数据类型、常量、变量、数组和链表等元素描述现实生活中的系统、功能、功能调用以及单个特征或特征组合等,自动化则体现为函数内部的语句在EIP寄存器加法操作支持下顺序自动地执行以及函数之间的调用在内存堆栈区支持下自动地进行跳转。最后,针对计算思维的抽象和自动化特征,给出了C语言程序设计课程在教学内容、教学方式和考核内容上的一些建议和措施。 展开更多

关键词 C语言程序设计 计算思维 抽象 自动化

在线阅读 下载PDF 职称材料

智能神经网络程序设计语言的研究与实现

5

作者 黄雪梅 李涛 +1 位作者 徐春林 卢暾 《计算机工程》 CAS CSCD 北大核心 2007年第4期32-33,36,共3页

将神经网络与逻辑推理统一到面向对象理论中,建立了同时具备神经网络和专家系统特性、融合连接机制和符号机制的智能神经元模型。提出了一种新的程序设计语言——智能神经网络程序语言(NIPL),实现了神经计算、逻辑推理和数值计算的统一... 将神经网络与逻辑推理统一到面向对象理论中,建立了同时具备神经网络和专家系统特性、融合连接机制和符号机制的智能神经元模型。提出了一种新的程序设计语言——智能神经网络程序语言(NIPL),实现了神经计算、逻辑推理和数值计算的统一。定义了NIPL的语法,设计并实现了智能神经网络程序设计语言NIPL编译器,从而为开发智能神经网络应用系统提供了有效的手段。 展开更多

关键词 智能神经元模型 智能神经网络程序设计语言 抽象语法 NIPL编译器

在线阅读 下载PDF 职称材料

Apla语言中并发分布式机制的研究 被引量：4

6

作者 游珍 薛锦云 应时 《计算机科学》 CSCD 北大核心 2012年第1期104-108,共5页

从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的... 从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的并发分布式机制,设计了并发算子、并发语句、进程定义、进程通信和进程同步,并通过实例探讨了该设计方案的可行性和实用性,最后阐述了Apla语言中并发分布式机制具有通用性强、抽象层次高、简单易懂、便于并发分布式程序的开发等优点。 展开更多

关键词 并发分布式程序设计 Orc语言 apla抽象程序设计语言 并发分布式机制

在线阅读 下载PDF 职称材料

数据并行高层描述语言中的数据抽象

7

作者 郑全录 陆林生 《小型微型计算机系统》 CSCD 北大核心 2001年第8期1000-1003,共4页

数据并行高层描述语言 DPHL 是我们开发的面向科学计算的一个描述语言 ,变量定义和基于域上的计算是该语言的重要组成部分 .本文通过对数据并行方法、科学计算特点以及现有并行语言的研究和分析 ,论述了变量定义中数据抽象的两个主要方... 数据并行高层描述语言 DPHL 是我们开发的面向科学计算的一个描述语言 ,变量定义和基于域上的计算是该语言的重要组成部分 .本文通过对数据并行方法、科学计算特点以及现有并行语言的研究和分析 ,论述了变量定义中数据抽象的两个主要方面 :一是引入了变量的定义域、子域和依赖域概念 ,给出了它们的形式化描述 ,二是引入了变量的数学属性 ,并和域分离 ,便于数据并行自动识别 ,重构高效的并行程序 ,使 展开更多

关键词 DPHL语言 程序设计语言 数据抽象 数据并行高层描述语言

在线阅读 下载PDF 职称材料

抽象逻辑结构图到VB过程蓝图的导出与映射 被引量：1

8

作者 刘建宾 郝克刚 《小型微型计算机系统》 CSCD 北大核心 2002年第7期862-864,共3页

本文给出独立于程序实现语言的抽象逻辑结构图到 VB过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则 ,给出了抽象逻辑结构图程序表示的有效性定义、导出 VB抽象逻辑结构图的有效性定理及其证明 .

关键词 抽象逻辑结构图 VB过程蓝图 程序设计 有效性 VB语言

在线阅读 下载PDF 职称材料

抽象逻辑结构图导出PASCAL过程蓝图的方法 被引量：1

9

作者 刘建宾 郝克刚 《计算机工程与设计》 CSCD 2001年第3期24-27,共4页

概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。文中给出概念抽象逻辑结构图到ＰＡＳＣＡＬ过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出ＰＡＳＣＡ... 概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。文中给出概念抽象逻辑结构图到ＰＡＳＣＡＬ过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出ＰＡＳＣＡＬ抽象逻辑结构图的有效性定理及其证明。 展开更多

关键词 抽象逻辑结构图 PASCAL语言 程序设计 有效性 平滑过渡

在线阅读 下载PDF 职称材料

JAVA过程蓝图到抽象概念结构图的逆向映射与有效性 被引量：1

10

作者 刘建宾 《计算机科学》 CSCD 北大核心 2002年第6期143-146,18,共5页

1引言 抽象概念结构图[1]是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法.JAVA过程蓝图[2]是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示.抽象概念结构... 1引言 抽象概念结构图[1]是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法.JAVA过程蓝图[2]是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示.抽象概念结构图与JAVA过程蓝图的结合构成了JAVA程序在概念、逻辑和实现三个层次上的描述表现体系. 展开更多

关键词 JAVA语言 程序设计语言 抽象概念结构图 逆向映射 有效性 过程蓝图

在线阅读 下载PDF 职称材料

类型和数据抽象

11

作者 蔡希尧 陈平 《计算机科学》 CSCD 北大核心 1990年第2期39-45,共7页

类型是程序设计语言中的一个最基本的概念,数据、函数和过程,都有自己的类型,这是构造程序的基础。抽象在程序设计语言和设计方法学的发展过程中一直起着主导作用,整个软件工程的进展总是和抽象程度的提高紧密联系在一起。

关键词 程序设计语言 类型 数据抽象

在线阅读 下载PDF 职称材料

PASCAL过程蓝图到抽象逻辑结构图的逆向映射

12

作者 刘建宾 李小英 《计算机工程与设计》 CSCD 2002年第3期1-4,7,共5页

给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概... 给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概念基础上，进一步给出双向映射函数的有效性定理。 展开更多

关键词 过程蓝图 抽象逻辑结构图 有效性 程序设计 PASCAL语言 逆向映射

在线阅读 下载PDF 职称材料

程序求值与广义部分计算

13

作者 Yoshihiko Futamura 何玉兰 《计算机工程与科学》 CSCD 1990年第4期91-101,共11页

广义部分计算(GPC)是一种基于部分计算和定理证明的程序优化原理。常规的部分计算方法(或部分求值器)显然只利用了已知的参数值对程序进行部分求值。而GPC不仅直接利用已知值,而且还利用下列信息。1.被部分求值程序的逻辑结构。2.程序... 广义部分计算(GPC)是一种基于部分计算和定理证明的程序优化原理。常规的部分计算方法(或部分求值器)显然只利用了已知的参数值对程序进行部分求值。而GPC不仅直接利用已知值,而且还利用下列信息。1.被部分求值程序的逻辑结构。2.程序设计语言的抽象数据类型。GPC是令人感到生疏和新奇的(1987年提出),甚至连常规的部分计算也没有被计算机科学界很好地理解。本文讨论(1) 部分计算诱人的特性,(2) 程序求值器,部分求值器和广义部分求值器的差别,(3) GPC原理及应用。 展开更多

关键词 求值 程序变换 抽象数据类型 定义函数 定理证明 程序设计语言 递归调用 谓词逻辑 最小不动点 函数调用

在线阅读 下载PDF 职称材料