Incremental Program Development and Analysis Techniques

增量程序开发和分析技术

• 批准号: 8908355
• 负责人: Charles Fischer
• 金额: $ 10万
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-03-15 至 1992-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8908355&HistoricalAwards=false
• 关键词: Incremental; Program; Development; Analysis; Techniques

The project addresses problems in the design and implementation of incremental program development and analysis techniques. Two topics are under investigation: l. Automatic generation of program analyzers. A framework that supports the effective development of program analyzers will be developed. These analyzers can be specified by a formal semantic definition derived from a standard denotational language definition. 2. Incremental modification and analysis of attribute grammars. The goal is to develop techniques that allow attributes and attribute dependencies to be interactively added or deleted, with grammar analyses and evaluators incrementally updated. This will support attribute grammar development and also allow new approaches that enhance the efficiency and flexibility of attribute grammars.

该项目解决了设计和执行 增量程序开发和分析技术。 两个主题是 正在调查： L. 程序分析器的自动生成。 的框架 支持程序分析器的有效开发， 开发 这些分析器可以由一个正式的语义 从标准指称语言定义派生的定义。 2. 属性文法的增量式修改与分析。 的 目标是开发允许属性和属性 依赖关系可以交互式地添加或删除，并带有语法分析 并且评估者逐渐更新。 这将支持属性 语法的发展，也允许新的方法，提高 属性文法的效率和灵活性。