第页

PAG——一种高效的程序分析器生成器。为了生成高质量的代码,编译器必须执行提高效率的程序转换。这些转换通常依赖于前面的程序分析。从简单的程序性分析到“程序内的数据分析”都可能是非常复杂的。它们的实施可能既困难又昂贵。分析工具的设计和实现可以支持抽象数据的分析和实现。抽象解释提供了与语言语义的关系,并允许系统地推导可证明正确和终结的分析。数据流分析提供了许多有效的算法,如不动点迭代。本文所描述的程序分析器生成器PAG试图提供两者兼得的优点,规范语言基于抽象解释的干净理论和数据流分析理论的高效实现方法。PAG有一个高级函数输入语言来指定数据流分析。它提供了复杂数据结构的生成,因此不局限于位向量问题。PAG生成的过程间分析器可以很容易地集成到现有的编译器中。PAG已成功地用于ESPRIT项目比较,为工业级的ANSI-C和Fortran90编译器生成多个分析器(包括别名分析和常数传播),现在由分拆公司AbsInt销售。PAG的简化版本可以通过Web进行交互测试。


zbMATH中的参考文献(引用于19篇文章,1标准件)

显示第19至第1个结果。
按年份排序(引用)

  1. Schulze Frielinghaus,Stefan;Seidl,Helmut;Vogler,Ralf:强制终止过程间分析(2018)
  2. Prantl,Adrian;Schordan,Markus;Knoop,Jens:Tubound——用于最坏情况执行时间分析的概念性新工具(2008)ioport公司
  3. Beyer,Dirk;Henzinger,Thomas A.;Théoduloz,Grégory:可配置软件验证:具体化模型检查和程序分析的融合(2007)
  4. Eo,Hyunjun;Yi,Kwangken;Choe,Kwang Moo:格上(\lambda)可定义函数的静态扩展性分析(2006)
  5. 《二分法挖掘与领域学习》(Ferriens,2005)
  6. Coors,Martin;Keding,Holger;Lüthje,Olaf;Meyr,Heinrich:定点系统的设计和DSP实现(2002)
  7. Evstiougov Babaev,Alexander A.:嵌入式应用程序开发人员的调用图和控制流图可视化(2002)
  8. Ferré,Sébastien;Ridoux,Olivier:开发可嵌入定制逻辑的框架(2002)
  9. Manevich,R.;Ramalingam,G.;Field,J.;Goyal,D.;Sagiv,M.:用于静态分析的紧表示一阶结构(2002)
  10. Probst,Christian W.:图书馆的模块化控制流分析(2002)
  11. Ruf,Erik:提高基于等式的数据流分析的精度(2002)
  12. Adve,Vikram;Sakellariou,Rizos:用于并行程序性能预测的任务图的编译器合成(2001)
  13. 费迪南德,克里斯蒂安;赫克曼,莱因霍尔德;兰根巴赫,马克;马丁,弗洛里安;施密特,迈克尔;泰林,亨利克;塞辛,斯蒂芬;威廉,莱因哈德:可靠和精确的WCET确定一个真实的处理器(2001年)
  14. Guyer,Samuel Z.;Lin,Calvin:优化高性能软件库的使用(2001)
  15. Leupers,Rainer:嵌入式处理器的代码优化技术。方法、算法和工具(2000)
  16. 费迪南德,克里斯蒂安;马丁,弗洛里安;威廉,莱因哈德;阿尔特,马丁:抽象解释的缓存行为预测(1999)
  17. Fecht,Christian;Seidl,Helmut:传播差异:分布约束系统的有效新不动点算法(1998)
  18. 马丁,弗洛里安:PAG——一个高效的程序分析器生成器(1998)
  19. Ross,John L.;Sagiv,Mooly:在指针别名和程序依赖之间建立一座桥梁(1998)