收藏本站
《江西师范大学学报(自然科学版)》 2019年05期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

Apla与程序设计语言泛型特性比较研究

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

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 左正康;刘志豪;黄箐;游珍;王昌晶;石海鹤;胡启敏;陶小明;;Apla与程序设计语言泛型特性比较研究[J];江西师范大学学报(自然科学版);2019年05期
2 左正康;薛锦云;;Apla中泛型约束机制研究[J];软件学报;2015年06期
3 徐华珍;薛锦云;朱小征;;Apla→Java程序生成系统中泛型机制实现方法研究[J];江西师范大学学报(自然科学版);2017年01期
4 陈林;徐宝文;;基于源代码静态分析的C++0x泛型概念抽取[J];计算机学报;2009年09期
5 阮汉乐;汪兴来;;C#中的泛型机制[J];科技风;2009年22期
6 杨鹏,瞿国忠,张涛;谈泛型程序设计影响编程者思维[J];高等函授学报(自然科学版);2003年04期
7 韩玉坤;;面向对象程序设计与泛型程序设计[J];大庆师范学院学报;2006年02期
8 吴拥民;;泛型设计的理论研究[J];闽江学院学报;2006年02期
9 孙斌;面向对象、泛型程序设计与类型约束检查[J];计算机学报;2004年11期
10 杨鹏;泛型程序设计的常用技术[J];湖北民族学院学报(自然科学版);2003年03期
11 张成年;;浅析Java泛型的优点[J];成功(教育);2009年03期
12 马林兵;张新长;伍少坤;;泛型程序设计技术在传统数据结构教学中的应用[J];教育与现代化;2006年01期
13 缪伟宇;邵志清;;使递归算法泛型化[J];计算机技术与发展;2008年07期
14 张猛;;C#、Java和C++中的泛型Anders Hejlsberg访谈[J];程序员;2004年04期
15 丁志义;宋国新;邵志清;;泛型程序的多型值构造[J];华东理工大学学报(自然科学版);2006年08期
16 张玉春;程春英;李海峰;;浅谈C#泛型和C++模板[J];内蒙古民族大学学报;2008年02期
17 刘未鹏;;.NET泛型与实现[J];程序员;2004年04期
18 张涛;;探究部署私有云的安全策略[J];科技风;2017年18期
19 朱仙芝;;泛型化的策略模式设计[J];现代电子技术;2013年17期
20 闵军;覃凤清;;基于闭包封装和序列展开实现“可选用参泛型抽象工厂”[J];软件工程;2018年09期
中国硕士学位论文全文数据库 前10条
1 王千文;泛型程序的形式验证问题的研究[D];宁夏大学;2015年
2 涂文婕;用Java泛型实现设计模式[D];武汉工程大学;2006年
3 吴拥民;泛型设计的研究及其在开发Trobus中的应用[D];福州大学;2002年
4 徐华珍;泛型机制在Apla-Java程序生成系统中实现的方法研究[D];江西师范大学;2016年
5 田方;Apla-Java算法程序生成系统中新型泛型机制的实现[D];江西师范大学;2015年
6 周侃;支持泛型程序设计的APLA-Delphi自动程序转换系统[D];江西师范大学;2003年
7 宰光军;基于OGRE的泛型资源管理模型的研究与实现[D];电子科技大学;2005年
8 石海鹤;支持泛型程序设计的Apla-Java自动程序转换系统[D];江西师范大学;2004年
9 屈文建;泛型程序设计的范畴论模型研究及其应用[D];江西师范大学;2004年
10 蒋庆;新型管道—过滤器模式的研究及其应用[D];江西师范大学;2004年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978