Incremental Program Development and Analysis Techniques

该项目解决了设计和实现增量程序开发和分析技术中的问题。目前正在研究两个主题：1 .程序分析程序的自动生成。将开发一个支持有效开发程序分析器的框架。这些分析器可以通过从标准指称性语言定义派生的正式语义定义来指定。2. 属性语法的增量修改和分析。目标是开发允许交互式地添加或删除属性和属性依赖的技术，并对语法分析和评估器进行增量更新。这将支持属性语法的开发，并允许使用新的方法来提高属性语法的效率和灵活性。

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.