The Design and Automatic Generation of Modern Program Development Environments

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

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.