[1]田方,石海鹤,左正康,等.一种抽象泛型机制的新型Java实现[J].江西师范大学学报(自然科学版),2016,40(01):77-82.
　TIAN Fang,SHI Haihe,ZUO Zhengkang,et al.The Java-Based Novel Implementation for an Abstract Genetric Mechanism Computer Engineering and Applications[J].Journal of Jiangxi Normal University:Natural Science Edition,2016,40(01):77-82.
点击复制

一种抽象泛型机制的新型Java实现()
分享到：

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

卷:
40
期数:
2016年01期
页码:
77-82
栏目:
出版日期:
2016-01-25

文章信息/Info

Title:
The Java-Based Novel Implementation for an Abstract Genetric Mechanism Computer Engineering and Applications
作者:
田方;石海鹤;左正康;王昌晶;薛锦云
江西师范大学江西省高性能计算重点实验室,江西 南昌 330022
Author(s):
TIAN Fang; SHI Haihe; ZUO Zhengkang; WANG Changjing; XUE Jinyun
Provincial Key Laborary High Performance Computing,Jiangxi Normal University,Nanchang Jiangxi 330022,China
关键词:
抽象泛型机制;  Java语言;  可重用性;  算法构件
Keywords:
abstract generic mechanism;  Java language;  reusability;  algorithm component
分类号:
TP 311
文献标志码:
A
摘要:
泛型程序设计可大幅度提高程序的可重用性、可靠性和开发效率,高抽象的泛型机制则有助于降低泛型编程的复杂度.该文介绍了一种抽象泛型机制的核心思想和编程技术,分析了新型Java中与之对应的实现机理,并归纳出相应的转换规则,且在既有平台中实现了抽象泛型程序到新型Java泛型程序的自动转换和运行,最后通过一个Kleen算法实例,展示了抽象泛型机制的实际运用和相应Java程序的自动生成.抽象泛型机制的新型Java实现,在降低可重用算法构件的设计复杂度、提高算法构件可靠性的同时,也为泛型构件的设计和描述提供了行之有效的新途径.
Abstract:
Generic programming has emerged as a paradigm for the development of highly reusable and reliable software components,and highly abstract generic mechanism contributes to lowering the complexity of generic programming.Core ideas and programming techniques of an abstract generic mechanism are presented,corresponding Java mechanism is analyzed,and transformation rules between them are extracted,and further the automatic transformation from abstract generic program to Java program and Java program execution are implemented in our platform.Finally through a Kleen algorithm the real application of abstract generic mechanism and its Java program generation is illustrated.The novel implementation for this abstract generic mechanism based on Java reduces the design difficulty of algorithm component and improve its reliability,as well as gives an effective solution to the design and description of generic component.

参考文献/References:

[1] McIlroy D.Mass produced software components [C].Germisch:NATO Sci Committee,1969:138-155.
[2] Li Yunlin,Novak G.Generation of geometric programs specified by diagrams [C].New York:ACM Press,2011:63-72.
[3] Xue Jinyun.PAR method and its supporting platform [R].Macao:UNU-IIST,2006:348.
[4] 徐文胜,薛锦云.泛型编程扩展及其Java实现 [J].计算机工程与科学,2007,29(10):89-93.
[5] Kleene S C.Representation of events in nerve nets and finite automata [C].Princeton:Princeton University Press,1956:3-41.
[6] Xue Jinyun.Two new strategies for developing loop invariants and their applications [J].Journal of Computer Science and Technology,1993,8(2):147-154.
[7] Xue Jinyun.A unified approach for developing efficient algorithm of programs [J].Journal of Computer Science and Technology,1997,7(4):314-329.
[8] 石海鹤,石海鹏,薛锦云.一种形式化开发非递归算法的方法 [J].计算机应用研究,2007,24(11):203-205
[9] 石海鹤,薛锦云.基于PAR的算法形式化开发 [J].计算机学报,2009,32(5):982-991
[10] Wang Changjing,Xue Jinyun.Formal derivation of a high-trustworthy generic algorithmic program for solving a class of path problems [C].Berlin,Heidelberg:Springer-Verlag,2009:27-39.
[11] 吴国凤,方钰.基于Java语言中的泛型研究 [J].计算机技术与应用进展,2008:1043-1047
[12] Daniel Liang Y.Introduction to java programming [M].9ed.Armstrong Atlantic State University,2012.
[13] Raul Marticorena,Carlos Lopez.Refactoring generics in Java:a case study on extract method [J].IEEE,Computer Society,2010,38:1-10.
[14] Adam Kiezun,Frank Tip.Refactoring for parameterizing Java classes [C].IEEE 29th International Conference on Software Engineering(ICSE'07),2007:437-446.
[15] 孙斌.面向对象、泛型程序设计与类型约束检查 [J].计算机学报,2004,27(11):1492-1504.
[16] 骆健.Apla->Java程序自动转换系统的研制 [D].南昌:江西师范大学,2002.

备注/Memo

备注/Memo:
基金项目:国家自然科学基金(61272075,61363012,61363013,61462039)和江西省自然科学基金(20142BAB217026)资助项目.
更新日期/Last Update: 1900-01-01