A Semantic Foundation for Program Optimization

本研究将为程序优化和并行化开发一个语义框架。最初，我们将集中精力开发程序依赖图的外延语义和操作语义，因为它们是并行化编译器最重要的面向图的程序表示。它的目的是将语义合并到交互式(类似于LIP语言的)解释器中(可能集成了一个编辑器)，以允许编译器编写者测试有关图形转换和代码生成技术的想法。以后的计划是将操作语义扩展到用于图形转换的正式验证的演算中。

This research will develop a semantic framework for program optimization and parallelization. Initially, concentration will be on developing a denotational and an operational semantics for program dependence graphs, since they are the most important graph-oriented program representation for parallelizing compilers. It is intended to incorporate the semantics into an interactive (Lisp-like) interpreter (possibly integrated with an editor) that allows a compiler writer to test ideas about graph transformation and code generation techniques. Later plans are to extend the operational semantics into a calculus for the formal verification of graph transformations.