Semantics-Based Program Manipulation

本研究涉及交互式计算机编程工具的设计和实现。该研究的重点是创建工具，提供语言特定的，基于语义的，程序操作操作。 该项目研究程序切片和部分评估。特别是，该研究研究（1）为其中一种操作开发的技术是否可以应用于另一种操作，以及（2）这两种操作是否可以结合起来，以支持更强大的操作程序的技术。 研究集中在两个领域。第一个是基于语义的程序操作。例子包括程序专门化、符号组合和程序泛化。二是程序静态分析。 对进行上述操作所需的静态分析方法进行了研究。指针分析尤其重要。在这两个领域的工作范围包括理论基础，算法设计和系统实现的发展。这些想法的一个测试平台是原型C切片器，它目前能够切片大型（22，000行）程序。 ***

This research concerns the design and implementation of tools for interactive computer programming. The research focuses on the creation of tools that furnish language- specific, semantics-based, program manipulation operations. The project investigates both, program slicing and partial evaluation. In particular, the research studies (1) whether techniques developed for one of the operations can be applied to the other, and (2) whether the two operations can be combined to support more powerful techniques for manipulating programs. The research focuses on two areas. The first is operations for semantics-based program manipulation. Examples include program specialization, symbolic composition, and program generalization. The second is static analysis of programs. Research is conducted on static analysis methods needed in carrying out the above operations. Pointer analysis is of particular importance. In both areas the scope of the work includes development of theoretical foundations, algorithm design, and system implementation. One testbed for the ideas is the prototype C slicer, which currently is capable of slicing large (22,000-line) programs. ***