首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 562 毫秒

1.  C 静态分析中对泛型构件的识别与表示方法  
   蒋彬  刘超《微计算机信息》,2005年第17期
   本文从C 静态分析的角度出发,介绍了模板和泛型构件技术、一个C 静态分析器实现中对模板和基本泛型构件的分析和识别方法、以及一种基于UML的泛型构件的表示方法。    

2.  基于源代码静态分析的C++0x泛型概念抽取  被引次数:1
   陈林  徐宝文《计算机学报》,2009年第32卷第9期
   使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并通过重构得到符合C++0x标准的代码.文中提出了一种基于代码静态分析的泛型概念自动识别方法,通过对泛型程序中类型参数的使用分析,从遗产代码中提取有效表达式约束和关联类型约束,进而推导出泛型概念.将该方法应用于C++标准模板库STL,可以识别出STL算法中绝大部分潜在的泛型概念,表明该方法有助于识别遗产代码中的泛型概念.    

3.  C++教学中泛型的概念和应用探讨  
   高大鹏  王双喜《工业控制计算机》,2014年第10期
   对C++教学中的泛型概念和使用进行了探讨,首先通过一个Stack类的例子引出泛型的概念,然后分析了泛型的优缺点并具体分析了模板函数和模板类的具体应用。最后对泛型的程序库STL进行了介绍。    

4.  Apla中泛型约束机制研究  
   左正康  薛锦云《软件学报》,2015年第26卷第6期
   泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离;以抽象程序设计语言Apla为宿主语言,提出了基于代数结构及公理语义的泛型约束方法,给出了基本数据类型、自定义抽象数据类型和子程序的3类泛型约束机制,拓展了泛型程序设计约束的应用范围.同时,支持静态语法和动态语义层约束,提高了泛型约束的精确度;借助Isabelle定理证明器,设计了泛型约束匹配检测和验证算法;进一步设计了泛型约束机制在PAR平台的实现方案及其系统原型.实验部分给出了该泛型约束机制描述、检测及验证一系列复杂泛型约束问题的全过程,自动生成的C++模板程序的可靠性和安全性得到显著提高.    

5.  解析Java泛型的类型擦除  
   张冬姣  陈艳  孟庆伟《计算机光盘软件与应用》,2012年第1期
   泛型是Java SE 1.5的新特性,从表面上看,无论语法还是应用的环境,泛型类型(或者泛型)都类似于C++中的模板,但实际上它们之间有着本质的区别,其本质区别就在于Java泛型的类型擦除,本文重点介绍Java泛型的类型擦除以解决泛型中常见的令人迷惑的和使人头疼的问题。    

6.  Fortran 90借用C++函数模板  
   毕苏萍  周振红  赫晓慧《郑州大学学报(工学版)》,2013年第34卷第2期
   函数模板作为一种泛型编程方法,对科学与工程计算具有重要现实意义.首先,探讨了C++函数模板的实现机制,揭示了函数模板与重载函数间的关系;运用Fortran 90泛型接口块结合外部例程,对C++重载函数进行了模拟;然后,在C++环境中添加包装子以实例化函数模板,并将函数模板实例转化成接口一致的"重载"例程,进而在Fortran 90环境中使用C++函数模板.辅以示例程序,对相关的处理方法给予详细说明,也为其它语言借用C++函数模板提供了借鉴.    

7.  面向对象、泛型程序设计与类型约束检查  被引次数:7
   孙斌《计算机学报》,2004年第27卷第11期
   该文对面向对象和泛型程序设计(generic programming)的核心思想和方法进行了较为深入的分析.阐明了各自的目标、技术特征及其优缺点所在.介绍了泛型程序设计针对对象技术的不足所引进的重大革新,即通过类型需求抽象来设计通用、高效的数据结构和算法;着重论述了作者在进一步增强泛型程序设计实际运用方面所提出的改进工作.以C 语言的一个泛型编程扩充语言C**为实施例,详细说明了如何通过一种叫做“命名类型约束”的新的机制来比较完整地实现静态类型需求的直接语言支持和编译检查,为当前泛型程序设计模型的首例编程语言实例.    

8.  用泛型技术改进.NET面向对象程序设计方法  被引次数:2
   佘名高  姚开鹏《武汉理工大学学报(信息与管理工程版)》,2005年第27卷第2期
   泛型机制是编程语言和编程思想的一次革命。随着时间的推移,包括JDK和.NETFramework在内的高级语言都纷纷开始支持这一新特性。笔者针对Whidbey中的C#语言,从理论和实践两个角度,分析了泛型技术对.NET面向对象程序设计方法的深远影响。    

9.  使递归算法泛型化  
   缪伟宇  ;邵志清《微机发展》,2008年第7期
   对于泛型程序设计来说,类型理论中的参数化多态是其理论框架,因为参数化多态引入了类型变量,使得类型参数化,从而完全支持类型上的抽象。然而对于现行的泛型算法,无论是C++标准模版库中的泛型算法还是基于函数式程序设计语言的算法,函数功能的定义比较具体化、单一化,因而缺乏可扩展性和高度的复用性。将对递归算法进行抽象,构造原始递归构造子,使得一般的泛型算法都可以通过该算子来构造,从而加强泛型算法的可复用型与可扩展性。除此之外,分析了递归算法构造子与泛型程序设计中的iterator概念和用于描叙泛型概念的形式化语言Tecton中所提倡的reuse概念的一致性。也给出算法复杂度的定量分析,并用函数式语言ML来实现。    

10.  使递归算法泛型化  
   缪伟宇  邵志清《计算机技术与发展》,2008年第18卷第7期
   对于泛型程序设计来说,类型理论中的参数化多态是其理论框架,因为参数化多态引入了类型变量,使得类型参数化,从而完全支持类型上的抽象.然而对于现行的泛型算法,无论是C 标准模版库中的泛型算法还是基于函数式程序设计语言的算法,函数功能的定义比较具体化、单一化,因而缺乏可扩展性和高度的复用性.将对递归算法进行抽象,构造原始递归构造子,使得一般的泛型算法都可以通过该算子来构造,从而加强泛型算法的可复用型与可扩展性.除此之外,分析了递归算法构造子与泛型程序设计中的iterator概念和用于描叙泛型概念的形式化语言Tecton中所提倡的reuse概念的一致性.也给出算法复杂度的定量分析,并用函数式语言ML来实现.    

11.  面向对象系统开发中的泛化与泛型分析  被引次数:1
   张沙清  麦范金《桂林工学院学报》,2003年第23卷第4期
   描述了面向对象系统开发中的泛化与泛型的基本概念,着重讨论了泛化的识别与描述过程以及泛型的实现方法.通过实例分析,说明了泛化与泛型在面向对象分析与设计中的重要作用.正确理解泛化、泛型与继承的区别与联系,可提高代码重用的效率与安全性,增强面向对象软件系统的可靠性、可维护性与灵活性.    

12.  刻面分类构件的匹配模型  被引次数:33
   王渊峰  薛云皎  张涌  朱三元  钱乐秋《软件学报》,2003年第14卷第3期
   随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正得到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,并根据构件刻面描述的特点,提出了一个包含3个层次,5种匹配类型的刻面匹配模型.给出了该匹配模型的泛型算法并对具化情况下的算法实现与时间复杂度进行了讨论.同时,通过理论和实践的结果证明了该匹配模型在构件检索上的可行性与有效性.    

13.  泛型机制及泛型在C#.NET中的应用  
   禤鲜  朱群梅《建造师》,2011年第1期
   泛型技术由于其代码简洁,运行效率高而在近年受到广泛关注,JAVA和.NET两大语言平台也给予了泛型技术充分的支持,并在.NET Framework 2.0版本中引入泛型这一新技术,替代了旧的设计模式.该文通过对比、案例研究及实验,对基于C#.NET的泛型机制进行了论述,用深入浅出的案例验证了使用泛型的优越性和必要性,并对在三层结构的ASP.NET系统中如何使用泛型技术进行研究探讨.    

14.  C++模板类型系统Concepts初探  
   唐炜均《数字社区&智能家居》,2007年第2卷第6期
   介绍了C++标准为了适应泛型编程的大规模运用,在语言核心方面对泛型编程能力将要作出的改进,概述了C++模板类型系统Concepts的主要功能和语言要素以及标准库支持,并给出一些例子进行说明。最后,简单介绍了现有的Concepts实现。    

15.  逆向工程技术在CsCST中的应用  被引次数:1
   柳永坡  刘雪梅  刘美红  杨春河  郝建华《大庆石油学院学报》,2005年第29卷第3期
   在基于.NET平台的C#支撑环境工具CsCST的研究和实现中,提出了应用逆向工程的相关技术对C#语言进行静态分析,介绍了逆向工程技术在工具实现中的应用策略,阐述了C#构件模型和项目级构件模型静态信息获取的方法.    

16.  Java泛型研究  
   林帅  林雄《电脑开发与应用》,2012年第25卷第3期
   2004年2月,Sun公司(2010年10月已被Oracle收购)在它发布的J2SE1.5版中加入了泛型,允许对类型进行抽象,程序员只需声明一个接受可变数目参数的方法,便可得到强类型在编译时刻进行类型检查的好处,简化了程序的开发。阐述了泛型基本概念和作用,介绍了在Java类、接口和方法中使用泛型的方法,通过实例比较使用泛型和不使用泛型的区别,最后指出使用泛型时要注意的问题。    

17.  使用Java泛型创造更灵活的类——Pluto中添加新的Portal Page和Portlet  
   SteveClose  夏红科《程序员》,2004年第5期
   你知道吗?Java SDK的最新版本(JDK1.5,代号为Tiger)里面将会出现泛型(Gernerics)。你可能会疑惑:“什么是泛型?”,或者是“为什么我应该注意泛型?”,甚至是“真酷!怎么使用泛型?”本文将介绍泛型编程、泛型如何使用,以及泛型的优势何在,并讨论泛型将如何的影响到你的工作。为了便于理解,这里给泛型下了一个定义,并给出几个例子来说明如何使用泛型。泛型并不是人人都使用过的一个特性。C++里面有一个类似于泛型的概念:模板。尽管。Java泛型的语法是模仿C++模板的语法,但是、Java语法更易于理解。另外,模板和泛型的执行过程并不相同。Java保留了safe类型,而且当支持泛型时,Java并不暴露源代码。也就是,Java说,Java增加了泛型编程的威力,而并没有出现其它应用语言所出现的诸多问题。    

18.  一种有效的ASP.NET数据缓存方法  被引次数:1
   林菲  吴昊《计算机时代》,2009年第6期
   分析比较了ASENET中常用的内置缓存技术及使用场合,在此基础上提出了一种新的基于泛型技术的缓存方法。新方法通过泛型技术与静态方法的结合,达到了对缓存数据的强类型引用,避免了装箱/拆箱操作,提高了系统的性能,并可由开发者根据不同情况自行配置缓存。最后分析了新方法的优缺点及适用场合。    

19.  O'Caml泛型编程中“泛型抽象”的研究  
   王朋  徐健  于尚超《计算机技术与发展》,2013年第23卷第7期
   泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同.泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性.在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型.“泛型抽象”是指使用抽象类型作为类型参数的函数定义方法,实现了“泛型编程”类型参数的多样化.文中在O'Caml语言上进行“泛型抽象”的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了“泛型抽象”函数定义.    

20.  O’Caml泛型编程中“泛型抽象”的研究  
   王朋  徐健  于尚超《微机发展》,2013年第7期
   泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O’Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型。"泛型抽象"是指使用抽象类型作为类型参数的函数定义方法,实现了"泛型编程"类型参数的多样化。文中在O’Caml语言上进行"泛型抽象"的研究,根据规则对O’Caml语言语法进行扩展,并在O’Caml语言中实现了"泛型抽象"函数定义。    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号