检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

方程式语言中扩充高阶函数

上海交通大学学报 1993年第6期27卷 8-13页

作者：陆汝占奚宏伟上海交通大学计算机科学及工程系

本文在原有的方程式语言的基础上,扩充引入高阶函数,使得方程式语言的使用更为方便,表示能力大为加强。源程序的方程式同时允许一阶和高阶两种形式.系统将高阶形式转换成Curry形式.这样整个程序在原解释下运行。

关键词：方程式语言高阶函数 Curry形式

在线全文

学校读者我要写书评

暂无评论

基于高阶函数和自适应计算的依赖簇检测方法

基于高阶函数和自适应计算的依赖簇检测方法

作者：杨嘉毅南京邮电大学

学位级别：硕士

依赖簇是相互依赖的程序组件的最大集合,依赖簇中任意一点产生变动都会引起其他组件的连锁反应。在实际生产环境中,依赖簇检测对于软件理解、测试、维护具有非常重要的意义。计算程序语句间的依赖关系是依赖簇检测的重要环节,但是传统... 详细信息

依赖簇是相互依赖的程序组件的最大集合,依赖簇中任意一点产生变动都会引起其他组件的连锁反应。在实际生产环境中,依赖簇检测对于软件理解、测试、维护具有非常重要的意义。计算程序语句间的依赖关系是依赖簇检测的重要环节,但是传统的依赖簇检测基于系统依赖图(SDG)实现依赖关系的计算。SDG的构建过程比较复杂,导致时间空间的占用比较大。除此之外,目前的依赖簇检测都是基于静态分析的,没有考虑程序运行时的实际路径和条件并利用动态分析进行依赖簇检测。为了解决构建SDG时间空间占用较大的问题,本文提出一种基于高阶函数的静态依赖簇检测方法。该方法通过构建每个过程高阶函数形式的函数摘要,将过程内形参和全局变量的数据依赖作为摘要参数,并用上述参数初始化过程内对应变量的依赖信息。通过在调用点处对高阶函数形式的摘要进行实例化,可将调用过程的依赖关系通过摘要参数进行传递,从而获取过程间的依赖信息,避免构建复杂的SDG。在高阶函数的检测方法基础之上,本文还应用了基于自适应计算的优化策略,能够有效减少因分析递归结构所产生的冗余计算,提升检测效率。与此同时,为了解决目前的依赖簇检测没有考虑程序运行时的实际路径和条件的问题,本文提出了基于高阶函数的动态依赖簇检测方法。利用高阶函数形式的函数摘要进行动态依赖关系的计算,获取过程间的动态依赖信息,从而进行动态依赖簇检测。在此基础上本文还将自适应计算应用到对同一程序的不同输入进行依赖簇检测的情况中,能够有效减少对不同输入进行分析的计算量,从而进一步提高检测效率。为了验证基于高阶函数和自适应计算的依赖簇检测方法的有效性,本文针对静态和动态依赖簇检测分别选取了不同规模不同领域的工程项目和基准测试集,经相关实验证明,本文提出的基于高阶函数的依赖簇检测方法相比传统基于依赖图的检测方法,能够有效提升检测效率并且减少空间占用。基于自适应计算的依赖簇检测优化策略能够进一步减少高阶函数检测方法出现的冗余计算,提升检测效率。

关键词：系统依赖图依赖簇高阶函数自适应计算

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于高阶函数的过程间指针分析方法研究

基于高阶函数的过程间指针分析方法研究

作者：帅东昕南京邮电大学

学位级别：硕士

指针分析是获取程序的控制流、数据流等信息的一种程序静态分析技术,因此指针分析是许多软件分析工具不可缺少的部分。现阶段主流的指针分析常采用集合包含的方法,构建指向图并传递指向约束,通过约束求解得到最终的指向分析结果。然而,... 详细信息

指针分析是获取程序的控制流、数据流等信息的一种程序静态分析技术,因此指针分析是许多软件分析工具不可缺少的部分。现阶段主流的指针分析常采用集合包含的方法,构建指向图并传递指向约束,通过约束求解得到最终的指向分析结果。然而,这种方法存在一些不足:一是构建指向图本身就会消耗较多的时间空间,二是由于函数之间互相调用,过程间指向图难以准确地表示函数调用的准确关系和指向信息的传递,进而影响其他程序分析工具的效率和准确性。为了更好地提高过程间指针分析的精度和效率,本文提出了基于高阶函数的过程间指针分析方法,所做的主要工作如下:针对目前基于指向图的指针分析构建过程间指向图代价较高的问题,本文提出了一种基于高阶函数的过程间指针分析方法。在过程内分析时,为保证指向分析的精度,本文在流不敏感的集合包含的指向分析基础上设计数据流方程,进行流敏感的指针分析,并将指针分析的结果保存为摘要;同时,在过程内分析时,为了解决静态分析函数调用关系时不能精准反应其调用和返回的对应关系的问题,利用高阶函数特性,将每个过程分析得到的指向信息以高阶函数形式表示。在过程间分析时,在函数调用点处取出被调用函数的指针分析摘要,并根据形实参对应关系,将实参指向集代入代表形参的高阶函数参数位置,进行相应的实例化,从而获得被调用函数的指向信息。为了进一步提高过程间指针分析方法的精度,本文在上述高阶函数框架下,通过数据访问摘要给出了一种域敏感指针分析方法。在过程内分析时,一方面,本文利用访问路径分析对指针变量的域成员进行建模,并记录程序语句对域成员的访问方式(读/写),保存为数据访问摘要;另一方面,本文会根据访问路径分析的结果进行域敏感的指针分析,保存为域敏感的指针分析摘要。在过程间分析时,一方面,对数据访问摘要进行实例化,得到被调用过程中指针变量域成员的访问方式;另一方面,利用高阶函数特性对域敏感的指针分析摘要进行实例化,根据形实参指针及其访问路径的对应关系,结合数据访问摘要中的访问方式,根据读/取关系更新调用点处的指向关系。本文通过实验验证了提出的基于高阶函数的过程间指针分析方法的效果。实验结果表明,本文提出的基于高阶函数的过程间指针分析方法在精度上相比于基于指向图的过程间指针分析方法有一定的提升,并减少了一定的时间空间成本;基于数据访问摘要的域敏感指针分析方法进一步提高了基于高阶函数的过程间指针分析方法的精度。

关键词：过程间指针分析上下文敏感性域敏感性高阶函数

Scala程序中高阶函数的使用分析及测试优化

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

Scala程序中高阶函数的使用分析及测试优化

作者：许宜森武汉大学

学位级别：硕士

高阶函数是将一个或多个函数作为参数或者作为返回值的函数。高阶函数的概念源于数学,可以直观地看作函数的函数。在程序中使用高阶函数可以增加源代码的通用性,并且可以通过丢弃代码中具有相同功能但没有相同类型参数的函数减少代码冗... 详细信息

高阶函数是将一个或多个函数作为参数或者作为返回值的函数。高阶函数的概念源于数学,可以直观地看作函数的函数。在程序中使用高阶函数可以增加源代码的通用性,并且可以通过丢弃代码中具有相同功能但没有相同类型参数的函数减少代码冗余。目前,许多编程语言都支持定义和使用高阶函数,Scala语言就是其中的一种。Scala作为一种新兴的面向对象编程语言,最初设计目的是为了解决Java语言的一些缺陷。为了吸引使用Java语言和C#语言等现有编程语言的开发人员,Scala设计者将Scala语言设计为一种不仅具有强大的类型支持系统还兼容函数式编程和面向对象编程的语言。高阶函数功能十分强大,但是大多数开发人员并不知道如何使用它,甚至不知道什么是高阶函数。同时,由于高阶函数的复杂性,测试高阶函数极为困难。一方面,开发者很难在短时间内完全了解高阶函数的业务逻辑,同时很难设计有效的测试用例。另一方面,自动测试用例生成技术尚不支持高阶函数。因此,为了揭示高阶函数的使用状况和辅助测试人员测试高阶函数,本文首次对Scala程序中的高阶函数的使用进行了分析,并提出了易调用高阶函数的识别方法Phof以辅助高阶函数测试。本文首先从探索分析的角度,研究了Scala语言中高阶函数的使用情况,定量分析Scala语言中高阶函数声明和调用状况。本文收集了GitHub上较为流行的35个Scala项目中8285个高阶函数定义和22579个高阶函数调用,并通过实验分析发现在35个Scala程序中有6.84%的函数被定义为高阶函数,而43.82%的高阶函数是由同一开发人员定义和调用的。同时,本文发现高阶函数的调用次数与函数定义的代码复杂度高度相关,开发人员更倾向于使用仅参数中含有函数的高阶函数。通过对高阶函数的使用分析,本文发现越复杂的高阶函数的调用次数越多。调用次数多的高阶函数在发布之前要经过充分的测试,以避免造成严重的后果。然而,高阶函数测试极为困难,在有限的时间和人力的情况下,测试所有的高阶函数不符合实际。为了辅助测试人员测试高阶函数,本文提出在测试资源匮乏的前提下优先测试易被调用的高阶函数。具体来说,本文设计并实现了一种自动识别易被调用高阶函数的方法Phof。在Phof中,本文从Scala程序源代码和提交日志中提取了24个特征,并根据已知调用情况的高阶函数构建了高阶函数调用预测模型。本文通过对Phof的实验评估发现基于随机森林算法和合成少数过采样技术处理策略的组合算法可以有效地预测高阶函数的调用情况。

关键词：高阶函数 Scala程序探索性研究测试优化

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

Lambda和高阶函数

程序员 2007年第4期 96-99页

作者：刘新宇

杜甫有诗:窗含西岭千秋雪,门泊东吴万里船。编程领域有时也会有类似的境界,本文作者使用C++模版实现与LISP语言相近的功能是一个有趣的尝试,也可以看作泛型编程的一例吧。

关键词： Lambda 高阶函数编写程序森林代码

在线全文

学校读者我要写书评

暂无评论

Monad的一种自动生成技术

软件学报 2003年第12期14卷 1989-1995页

作者：吕江花金成植吉林大学计算机科学与技术学院吉林长春130012

Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在Monad程序设计环境中增加从一类Monad构造另一类Monad的自动生成器... 详细信息

Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在Monad程序设计环境中增加从一类Monad构造另一类Monad的自动生成器,那么既方便了用户也扩充了1倍原有的Monad库.鉴于这种思想,用支持Monad程序设计的高阶函数语言Haskell实现了一个Monad的自动生成系统.另外,用户构造Monad不仅要花费较多的时间,而且写出的Monad多态函数往往不满足Monad所需满足的几条公理,因此,从这方面也可以看出,从一种类型的Monad自动产生另一种类型的Monad的重要意义.

关键词： Monad BIND型Monad MAP型Monad 范畴高阶函数