[1]徐华珍,薛锦云,朱小征.Apla→Java程序生成系统中泛型机制实现方法研究[J].江西师范大学学报(自然科学版),2017,(01):52-55.
　XU Huazhen,XUE Jinyun,ZHU Xiaozheng.The Research on Implementation Method of Generic Mechanism in Apla䦃Wingdings`C@Java Program Generation System[J].Journal of Jiangxi Normal University:Natural Science Edition,2017,(01):52-55.
点击复制

Apla→Java程序生成系统中泛型机制实现方法研究()
分享到：

《江西师范大学学报》（自然科学版）[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2017年01期
页码:
52-55
栏目:
出版日期:
2017-01-01

文章信息/Info

Title:
The Research on Implementation Method of Generic Mechanism in Apla䦃Wingdings`C@Java Program Generation System
作者:
徐华珍; 薛锦云; 朱小征
1.江西师范大学计算机信息与工程学院,江西 南昌 330022; 2.江西师范大学国家网络化支撑软件国际科技合作基地,江西 南昌 330022
Author(s):
XU Huazhen; XUE Jinyun; ZHU Xiaozheng
1.College of Computer Information Engineering,Jiangxi Normal University,Nanchang Jiangxi 330022,China; 2.The State Base of Networked Supporting Software of International S/T Cooperation,Jiangxi Normal University,Nanchang Jiangxi 330022,China
关键词:
泛型语言机制;  软件可靠性;  安全机制;  Apla→Java生成系统
Keywords:
generic language mechanism;  software reliability;  safety mechanism;  Apla→Java generation system
分类号:
TP 311
文献标志码:
A
摘要:
在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明该实现方法的可靠性和新型泛型语言机制的正确性.
Abstract:
A new implementation method of new generic language mechanisms which were implemented in the Apla→Java generation system was presented,and a typical algorithm example was illustrated.The method is simpler than the existing generic methods in Java,C ++,C # and other languages.A large number of successful testing cases demonstrated reliability of the implementation method and correctness of these new generic language mechanisms.

参考文献/References:

[1] 黄楚新,王丹.“互联网+”意味着什么:对“互联网+”的深层认识 [J].新闻与写作,2015(5):5-9.
[2] Musser D R,Stepanov A A.Generic programming [M].Berlin:Symbolic and Algebraic Computation,1988:13-25.
[3] Prieto-Díaz R.Status report:software reusability [J].Software,IEEE,1993,10(3):61-66.
[4] Garcia R,Jarvi J,Lumsdaine A,et al.A comparative study of language support for generic programming [J].OOPSLA,2003,36(3):115-134.
[5] Kermarrec Y,Pautet L,Tardieu S.GARLIC:generic Ada reusable library for interpartition communication [C].ACM,1995:263-269.
[6] 张玉春,程春英,李海峰.浅谈C#泛型和C++模板 [J].内蒙古民族大学学报,2008(2):51-52.
[7] Ghosh D.Generics in Java and C++:a comparative model [J].ACM Siglan Notices,2004,39(5):40-47.
[8] 韩志强.对.NET平台中泛型技术的探究 [J].赤峰学院学报:自然科学版,2010(11):23-24.
[9] Milner R,Tofte M,Harper R,et al.The definition of Standard ML [M].Massachusetts:MIT Press,1997.
[10] Stroustrup B.The C++ programming language [M].New York:Pearson Education,2013.
[11] Gosling J,Joy B,Steele G,et al.The Java language specification [M].New York:Pearson Education,2014.
[12] Meyer B.Eiffel:the language [M].New York:Prentice Hall,1992.
[13] Hutton G.Programming in Haskell [M].Cambridge:Cambridge University Press,2007.
[14] Xue Jinyun.Genericity in PAR platform [J].Lecture Notes in Computer Science,2015,9559:3-14
[15] Xue Jinyun.PAR method andits supporting platform [A].Proceeding of International Workshop on Formal method for Devecoping Software [C].Macao:UNU-IIST,2006.
[16] 薛锦云.PAR方法抽象程序设计语言Apla技术报告 [R].江西师范大学省高性能计算技术重点实验室,2010.
[17] 朱小征,薛锦云,徐华珍.Transaction在PAR平台中的实现方法及应用研究 [J].计算机与数字工程,2015(10):1884-1890.

备注/Memo

备注/Memo:
收稿日期:2016-08-09基金项目:国家自然科学基金重大国际合作研究项目(61020106009),国家自然科学基金面上项目(61272075,61472167)和国家自然科学基金地区科学基金(61462041)资助项目.通信作者:薛锦云(1947-),江苏海门人,教授,博士生导师,主要从事软件形式化和自动化的研究.E-mail:jinyun@vip.sina.com
更新日期/Last Update: 1900-01-01