基于Haskell语言的泛型扩展研究

泛型即通过参数化类型来实现在同一份代码上操作多种数据类型.泛型编程是一种编程范式,它利用“参数化类型”将类型抽象化,实现灵活的软件复用.泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果.文中旨在Haskell语言上进行泛型的研究与应用,Haskell语言是一门广为流行的函数式语言,它的计算模型简单,程序语法清晰,易于编写,易于维护.文中利用一些规则对Haskell语言的语法进行扩展,同时引入泛型编程的思想来研究新的函数定义方法,最后在Haskell语言上实现泛型功能.     

基于源代码静态分析的C++0x泛型概念抽取

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

适用于C语言的对象模型的研究与实现

为了解决在低端嵌入式设备中用C语言编写的代码难以维护以及重用率低等问题,提出了一种新的对象模型.将面向对象的思想与C语言开发相结合,利用现代C编译器的宏等特性以及元编程技巧,对C语言本身进行扩展,模拟了面向对象思想中单根继承,多态等特性,并在风格上和C++保持一致.在提升了其代码的可维护和可重用性的同时,简化了使用支持面向对象特性编程语言编写的代码向C语言移植的过程.     

基于Java的泛型编程

泛型编程是面向对象的进一步发展,从更高的角度对世界进行抽象,为面向对象的不足之处提供了解决之道.它可让你重复运用既有的算法,而不必在环境类似的情况下再重新撰写相同代码,使得处理的问题更加抽象化,是一种优美而又不失效率的通用型程序设计方法.JDK 1.5中引入了对Java语言的多种扩展,泛型(generics)即其中之一.本文讨论JDK 1.5的泛型实现.     

C＋＋模板类型系统Concepts初探

介绍了C＋＋标准为了适应泛型编程的大规模运用，在语言核心方面对泛型编程能力将要作出的改进，概述了C＋＋模板类型系统Concepts的主要功能和语言要素以及标准库支持，并给出一些例子进行说明。最后，简单介绍了现有的Concepts实现。     

O'Caml泛型编程中“泛型抽象”的研究

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

C语言课程活代码教学法探索与实践

C语言课程教学中存在编程不灵活、实践能力差等问题。为解决这些问题，提出了“C语言活代码教学法”。     

基于高级语言编程利用差分法解边值问题

很多物理化学等方面的科学研究都需要解微分方程,所以需要利用数学知识探究相应的解.数学的特点在于严密的逻辑推理与抽象的思维描述,而高级语言编程更加强调思路的总结与归纳还有算法的具体设计.在数学中使用的更多是公式语言,把一整个复杂的计算过程简化成几个计算公式,更加注重过程的推导而往往忽略了实践.以差分法解边值问题为例,把数学思想与Matlab代码以及C语言相结合.通过编写Matlab代码锻炼学生的提炼能力与逻辑思维,之后再进一步引入C语言,通过学生的编程实践,把数学与C语言结合起来,以达到融会贯通的目的.     

''''C54x DSP混合编程及中断的C语言实现

为了充分发挥C语言和汇编语言各自的优势,在对TMS320C54x DSP进行软件开发时,可用两种语言混合编程.本文介绍了基于TMS320C54x DSP的C语言和汇编语言混合编程的程序设计方法,对用C语言实现DSP的中断功能进行了详细说明.最后以多尺度三次B样条小波分解算法为例说明TMS320C54x DSP混合编程的方法及步骤,并给出了C语言及汇编语言的源程序代码.     

C语言代码缺陷分析辅助编程实践系统

网络课程C语言编程学习中, 师生互动性差、教学效率低, 学生难以凭借自身能力解决编程中常见的代码缺陷问题. 为了更好帮助学生解决学习中的难题, 辅助老师达到教学目的, 研究一款代码缺陷检测辅助学生编程实践系统. 该系统首先对易犯的代码缺陷分类, 分析编译器不易检测的语法、词法和语义缺陷; 然后构建智能分析器,集成多种检...     

基于嵌入式DSP系统C语言硬件编程技术浅谈

本文首先简要分析了嵌入式DSP系统的硬件,探讨了运用C语言开展硬件编程的基本方法与好处,囊括怎样调试C语言程序,最后提出了怎样把C语言程序向DSP代码转化.     

自动支持面向对象特性C程序的开发方案

已有前人提出用C语言实现面向对象的方案,但它们都需要开发者人为提供支持面向对象的C语言框架,增加了开发者的负担。该方案用类C 语法编写初始代码,享受面向对象特性,而内部把初始代码自动转换成为支持面向对象特性的C代码,实现了面向对象理念和C语言的无缝对接。文章解析了用C语言实现面向对象的机制及代码转换机制,对比该方案和C 编程的效果,证实该方案的优越性。     

O’Caml泛型编程中“泛型抽象”的研究

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

泛型编程扩展及其JAVA实现

本文对泛型编程的核心思想和技术特征进行了较为深入的分析,介绍了泛型编程在语言实现上的现状与不足,着重论述了作者针对这些不足做出的改进工作,即对类型参数及其约束机制进行扩展以支持通用、高效的算法和数据结构的设计,并以Java语言作为实施例,详细介绍了如何通过现有对象技术来实现比较完整的泛型编程,是现有面向对象语类泛型编程的首例。     

HC08系列单片机C语言的若干编程技术

讨论MC68HC08系列单片机的C语言编程技术,分析了08C语言在寄存器和I／O口的使用、嵌入汇编及中断处理上与标准C的区别,并论述．1st文件在08C语言编程中的重要作用,探讨了规范编程、精简和优化代码等08C语言编程技术。     

面向对象、泛型程序设计与类型约束检查

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

汇编和C混合编程的研究

C语言可读性、可移植性好,生成的目标代码的效率和质量较高.汇编语言具有程序代码短、执行效率高、实时性强等优点.单片机采用两种语言的混合编程能充分发挥它们的长处.提出了程序主体采用C语言编写、精确控制部分采用汇编语言编写的思路,并通过流水灯实例进行测试.实验表明,混合编程提高了程序的可读性和系统的性能.     

TMS320C62X DSP的混合编程研究

目前,C语言和汇编语言的混合编程已经在TI公司的TMS320C62X上成为一种最流行的编程方法。阐述了基于TMS320C62X的C语言和汇编语言混合编程应遵循的接口规范以及并行汇编代码的编写。给出了一个基于TMS320C62X的运动补偿的混合编程设计实例。     

浅谈C++中泛型编程方法的运用

结合C 探讨了利用模板技术和STL进行泛型编程,可以极大地改变我们的编程方式,使程序代码更具有可重用性和可维护性.     

设计模式和泛型技术在系统重构中的应用研究

重构是在不改变代码外在行为的前提下,对代码做出修改,以改进程序内部结构的过程.设计模式是对被用来在特定场景下解决一般设计问题的类和相互通信的对象的描述.泛型编程专注于将型别抽象化,形成功能需求方面的一个精细集合,并利用这些需求来实现算法.以一个应用系统的数据采集子系统的系统重构为例,将设计模式应用于系统重构中设计阶段,将泛型技术应用于系统重构实现阶段;讨论设计模式技术和泛型技术的结合对系统重构的作用与意义.