迭戈·切达;乔塞普·席尔瓦;德国维达尔 重写系统的静态切片。 (英语) Zbl 1279.68051号 López Fraguas,Francisco J.(编辑),第十五届函数和(约束)逻辑编程研讨会论文集(WFLP 2006),西班牙马德里,2006年11月16日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记177123-136(2007)。 概要:程序切片是一种通过分析程序的数据和控制流来分解程序的方法。基于切片的技术在软件工程领域有许多应用(如程序调试、测试、代码重用、维护等)。切片在命令式编程范式中得到了广泛的研究,它通常基于所谓的程序依赖图,这是一种明确程序中每个操作的数据和控制依赖性的数据结构。不幸的是,“依赖性”的概念不容易适应功能上下文。在这项工作中,我们为通过重写系统表示的一阶函数程序定义了一种新的静态切片方法(即独立于特定的输入数据)。为此,我们引入了一个适当的依赖性概念,可以用于计算程序片。此外,由于静态切片的概念通常是不可判定的,因此我们引入了一种计算静态切片的完全近似方法,该方法基于术语依赖图的构造,即程序依赖图的对应项。关于整个系列,请参见[Zbl 1275.68023号]. 引用于1文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68甲18 函数编程和lambda演算 第68季度第42季度 语法和重写系统 关键词:程序切片;重写系统 PDF格式BibTeX公司 XML格式引用 \textit{D.Cheda}等人,《电子》。注释Theor。计算。科学。177、123--136(2007年;Zbl 1279.68051) 全文: DOI程序 参考文献: [1] Alpunte,M。;法拉斯基,M。;拉米斯,M.J。;Vidal,G.,《作为等式逻辑程序优化的窄近似》,(Penjam,J.;Bruynooghe,M.,PLILP’93的Proc。程序。1993年,位于塔林(爱沙尼亚)的PLILP。程序。1993年PLILP。程序。PLILP’93,塔林(爱沙尼亚),LNCS,714(1993),(斯普林格),391-409·Zbl 0791.68015号 [2] 艺术,T。;Giesl,J.,使用依赖对终止术语重写,理论计算机科学,236,1-2,133-178(2000)·Zbl 0938.68051号 [3] 巴德,F。;Nipkow,T.,《术语重写和所有这些》(1998),剑桥大学出版社 [4] 费兰特,J。;Ottenstein,K.J。;Warren,J.D.,《程序依赖图及其在优化中的应用》,《程序设计语言和系统的ACM事务》,9,3,319-349(1987)·Zbl 0623.68012号 [5] 菲尔德,J。;Tip,F.,术语重写系统中的动态依赖及其在程序切片、信息和软件技术中的应用,40,11-12,609-634(1998) [6] 库克·D·J。;库恩,R.H。;帕多瓦,D.A。;租赁,B。;Wolfe,M.,依赖图和编译器优化,(第八届编程语言原理交响曲(POPL’81)汇编。程序。第八届Symp。关于程序设计语言原理(POPL'81),SIGPLAN通知(1981)),207-218 [7] Liu,Y.A。;Stoller,S.D.,消除递归数据上的死代码,《计算机编程科学》,47221-242(2003)·Zbl 1047.68070号 [8] 奥乔亚,C。;席尔瓦,J。;Vidal,G.,《基于Redex轨迹的动态切片》,(2004年ACM SIGPLAN部分评估和程序操作研讨会论文集。2004年ACM-SIGPLAN局部评估和程序处理研讨会论文集,(PEPM'04)(2004),ACM出版社),123-134 [9] 奥乔亚,C。;席尔瓦,J。;Vidal,G.,《通过动态切片实现Lighweight程序专业化》(Curry and Functional Logic Programming专题研讨会。Curry and Functional Logics Programming专题研讨会,(WCFLP 2005)(2005),ACM出版社),1-7 [10] 罗德里格斯州。;Barbosa,L.S.,通过程序切片识别组件,(组件软件形式方面的程序(FACS 2005)。程序。组件软件的形式方面(FACS 2005),ENTCS(2005),Elsevier) [11] Slagle,J.R.,用简化器、交换性和关联性理论的自动定理证明,ACM杂志,21,4,622-642(1974)·Zbl 0296.68092号 [12] Tip,F.,《程序切片技术综述》,《程序设计语言杂志》,3121-189(1995) [13] Weiser,M.D.,程序切片,IEEE软件工程汇刊,10,4,352-357(1984)·Zbl 0552.68004号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。