PAG公司 swMATH ID: 669 软件作者: 弗洛里安·马丁 描述: PAG–一个高效的程序分析器生成器。为了生成高质量的代码,编译器必须执行提高效率的程序转换。这些转换通常依赖于前面的程序分析。这些分析,即所谓的数据流分析或抽象解释,可能包括从“简单”的过程内位向量框架到非常复杂的过程间别名分析。它们的实施可能困难且成本高昂。通过利用抽象解释和数据流分析的基本理论,可以用工具支持分析器的实现和设计。抽象解释提供了与语言语义的关系,并允许系统推导可证明正确的终止分析。数据流分析提供了许多有效的算法,例如定点迭代。本文描述的程序分析器生成器PAG试图提供两个世界中最好的,基于抽象解释的干净理论的规范语言和基于数据流分析理论的高效实现方法。PAG具有高级功能输入语言,用于指定数据流分析。它提供了复杂数据结构的生成,因此不限于位向量问题。PAG生成的过程间分析器可以轻松集成到现有编译器中。PAG已成功用于ESPRIT项目COMPARE,为工业级ANSI-C和Fortran90编译器生成多个分析器(包括别名分析和常数传播),目前由剥离公司AbsInt进行销售。PAG的简化版本可以通过Web进行交互测试。 主页: http://link.springer.com/article/10.1007%2Fs100090050017 关键词: 数据流分析;分析仪的规格和生成;抽象解释;程序间分析;编译器构造 相关软件: NINJA公司;BLAS公司;MPI/MPICH公司;PHiPAC公司;PLAPACK系列;FFTW公司;拉帕克;地图集;CiaoPP公司;Ciao公司;阿司匹克;Coq公司;J变压器;SeqLog(序列日志);精益TAP;OMRS公司;人工智能;GENA公司;PVS公司 引用于: 20文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 PAG–一个高效的程序分析器生成器。 Zbl 1060.68572号弗洛里安·马丁 1998 全部的 前5名被40位作者引用 4 弗洛里安·马丁。 三 克里斯蒂安·费迪南德 三 莱因哈德·威廉 2 马丁·阿尔特 2 塞巴斯蒂安·费雷 2 穆利·萨吉夫 2 赫尔穆特·塞德尔 1 Vikram S.阿芙。 1 德克·拜尔 1 Choe,Kwang Moo先生 1 马丁·库尔斯 1 Eo,Hyunjun先生 1 Alexander A.Evstiougov-Babaev。 1 克里斯蒂安·费希特 1 约翰·埃弗雷特·菲尔德 1 戈亚尔、迪帕克 1 塞缪尔·盖耶。 1 赫克曼,莱因霍尔德 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 霍尔格·科丁 1 罗斯·D·金。 1 马克·兰根巴赫 1 莱珀斯,雷纳 1 林·卡尔文 1 奥拉夫·吕塞耶 1 罗马人Manevich 1 海因里希·迈尔 1 弗莱明·尼尔森 1 克里斯蒂安·普罗布斯特。 1 甘尼桑拉马林加姆 1 奥利维尔·里杜克斯 1 约翰·L·罗斯。 1 埃里克·鲁夫 1 里佐斯Sakellariou 1 斯特凡·舒尔泽·弗里林豪斯 1 亨利克·泰林 1 格雷戈里·塞奥多洛兹 1 斯蒂芬·塞辛 1 拉尔夫·福格勒 1 Yi,Kwangkeun先生 全部的 前5名6篇连载文章中引用 2 北欧计算机杂志 1 计算机程序设计科学 1 新一代计算 1 系统设计中的形式化方法 1 计算机基础理论 1 EURASIP应用信号处理杂志 在4个字段中引用 20 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文