Analysis-Based Program Transformation

基于分析的程序转换

• 批准号: 9804115
• 负责人: Mitchell Wand
• 金额: --
• 依托单位: Northeastern University
• 依托单位国家: 美国
• 项目类别: Continuing grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-09-01 至 2002-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9804115&HistoricalAwards=false
• 关键词: Analysis; Based; Program; Transformation

CCR-9804115 This project seeks to understand how a program analysis justifies the program transformation that is typically based upon it. Many interesting optimizations depend on interprocedural analyses, which collect information about program units larger than a single procedure. Such optimizations are widespread in higher- order languages such as Scheme or ML, and play an important role in ordinary imperative languages as well. Despite decades of work on abstract interpretation and related analysis frameworks, there are still very few examples in which an analysis is actually used to prove the correctness of an associated transformation. This project seeks to fill this gap by doing a series of examples related to the compilation of higher-order ``almost-functional'' languages like Scheme or ML. It also seeks to unify analysis-based transformations with the theory of transformations based on contextual equivalence, and to extend all of this theory to embrace programs that compute in parallel or distributed settings.***

CCR-9804115这个项目试图理解程序分析如何证明通常基于它的程序转换是合理的。许多有趣的优化依赖于过程间分析，它收集关于大于单个过程的程序单元的信息。这样的优化在高阶语言中非常普遍，例如方案或ML，并且在普通的命令式语言中也扮演着重要的角色。尽管在抽象解释和相关分析框架方面做了几十年的工作，但实际使用分析来证明相关转换的正确性的例子仍然很少。这个项目试图通过做一系列与高阶“几乎函数式”语言的编译有关的例子来填补这一空白，这些高阶“几乎是函数式”的语言如SCHEM或ML。它还试图将基于分析的转换与基于上下文等价的转换理论统一起来，并将所有该理论扩展到包含在并行或分布式环境中计算的程序。*