The Design and Automatic Generation of Modern Program Development Environments

现代程序开发环境的设计与自动生成

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

This project addresses problems in the design and implementation of interactive program development environments for modern programming languages. These environments are specially designed to aid both novice and experienced programmers in the creation of correct and reliable programs. Particular topics to be studied include: (1) Automatic generation of programming language interpreters from formal specifications. Automatic generation of interpreters speeds their creation and makes them more reliable. In interactive environments, interpreters allow program testing to be intermixed with program creation and editing. (2) Properties of a program, including variable and type declarations, can often be inferred from the body of a program. Such inferencing can eliminate the tedium of inserting, by hand, redundant information. Inferencing can also be used to explore the effects of program changes before they are made. The automatic selection of alternative library routines can also be supported. (3) Traditional programming language design techniques are very slow and error prone. This project will extend interactive programming support tools to the realm of language design, supporting interactive programming language design and evaluation.

这个项目解决了现代编程语言的交互式程序开发环境的设计和实现中的问题。这些环境是专门为帮助新手和有经验的程序员创建正确可靠的程序而设计的。具体的研究课题包括：(1)从形式规格说明自动生成程序设计语言解释器。口译器的自动生成加快了口译器的创建速度，使口译器更加可靠。在交互式环境中，解释器允许程序测试与程序创建和编辑混合在一起。(2)程序的属性，包括变量和类型声明，通常可以从程序体中推断出来。这种推断可以消除手工插入冗余信息的单调乏味。推理还可以用来在程序更改进行之前探索它们的影响。还可以支持备用库例程的自动选择。(3)传统的编程语言设计技术速度慢，容易出错。该项目将把交互编程支持工具扩展到语言设计领域，支持交互编程语言的设计和评估。