第页 swMATH标识： 669 软件作者： 马丁，弗洛里安 说明： 一个高效的程序分析器生成器。为了生成高质量的代码，编译器必须执行提高效率的程序转换。这些转换通常依赖于前面的程序分析。这些分析，即已知的数据流分析或抽象解释，可能从“简单”的过程内位向量框架到非常复杂的过程内别名分析。它们的实施可能既困难又昂贵。通过开发抽象解释和数据流分析的基础理论，分析工具的实现和设计可以得到工具的支持。抽象解释提供了与语言语义的关系，并允许系统地推导可证明正确和终结的分析。数据流分析提供了许多有效的算法，如不动点迭代。本文所描述的程序分析器生成器PAG试图提供两者兼得的优点，规范语言基于抽象解释的干净理论和数据流分析理论的高效实现方法。PAG有一个高级函数输入语言来指定数据流分析。它提供了复杂数据结构的生成，因此不局限于位向量问题。PAG生成的过程间分析器可以很容易地集成到现有的编译器中。PAG已成功地用于ESPRIT项目比较，为工业级的ANSI-C和Fortran90编译器生成多个分析器（包括别名分析和常数传播），现在由分拆公司AbsInt销售。PAG的简化版本可以通过Web进行交互测试。 主页： http://link.springer.com/article/10.1007%2FS10090005017 关键词： 数据流分析;分析仪的规格和型号;抽象解释;过程间分析;编译器构造 相关软件： 忍者;再见;再见;肉冻;可口可乐;J变压器;序列日志;leanTAP公司;OMRS公司;aiT公司;MPI/MPICH公司;菲帕克;平板电脑;FFTW公司;布拉斯;拉帕克;阿特拉斯;基纳;PVS公司 引用于： 20种出版物 标准条款 1个出版物描述软件，包括1个出版物在zbMATH 年 一个高效的程序分析器生成器。 Zbl 1060.68572马丁，弗洛里安 1998 全部的 前5名被40位作者引用 4 马丁，弗洛里安·G。 三 费迪南德，克里斯蒂安 三 威廉，莱茵哈德 2 Alt，马丁 2 费雷，塞巴斯蒂安 2 萨吉夫，穆利 2 塞德尔，赫尔穆特 1 艾维，维克拉姆S。 1 拜尔，德克 1 崔光武 1 库尔斯，马丁 1 Eo，贤俊 1 叶夫斯蒂乌戈夫·巴巴耶夫，亚历山大A。 1 费克，克里斯蒂安 1 菲尔德，约翰·埃弗雷特 1 戈亚尔，迪帕克 1 盖耶，塞缪尔Z。 1 赫克曼，莱因霍尔德 1 亨辛格，托马斯A。 1 科丁，霍尔格 1 金，罗斯D。 1 兰根巴赫，马克 1 鲁珀斯，雷纳 1 林，加尔文 1 吕思杰，奥拉夫 1 曼尼维奇，罗马人 1 梅尔，海因里希 1 尼尔森，弗莱明 1 普罗斯特，克里斯蒂安W。 1 拉马林根，加内桑 1 里杜克斯，奥利弗 1 罗斯，约翰L。 1 联阵，埃里克 1 萨凯拉里奥，里佐斯 1 舒尔茨·弗里林豪斯，斯特凡 1 亨里克，侧写 1 蒂奥多洛兹，格里戈里 1 塞辛，斯蒂芬 1 福格勒，拉尔夫 1 易光景 全部的 前5名7连载引用 2 北欧计算杂志 1 计算机程序设计学 1 新一代计算 1 系统设计中的形式化方法 1 计算机基础理论 1 1 应用信号处理杂志 引用4个领域 20 计算机科学（68-XX） 1 数理逻辑与基础（03-XX） 1 系统论；控制（93-XX） 1 信息与通信理论，电路（94-XX） 按年份列出的引文