Semantics-Based Program Manipulation

基于语义的程序操作

• 批准号: 9625667
• 负责人: Thomas Reps
• 金额: $ 16.04万
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-09-01 至 1999-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9625667&HistoricalAwards=false
• 关键词: Semantics; Based; Program; Manipulation

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. ***

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