Toward Semantically Founded Programming Environments

现有的程序开发工具是基于一个感知的 支持传统语言编程的要求- 语言往往偏向于批量翻译。 然而， 开发环境可以隐藏 传统的编程语言，只要强调 传统的语言是放松的。 基于语义的编程环境强调 计算的语义方面和计算的描述 （programs）. 一个基于语义的环境提供了直接的 语义上感兴趣的对象和结构的操纵 而不需要用户操纵基于语法的表示。 环境被组织成一个相互作用的集合， 件. 每个组件都封装了 具有适当用户界面和编辑的语言或程序 模型 这种方法利用环境的能力， 刺激或隐藏文本中存在的许多特质 程序的表示。 该计划是一个为期两年的调查的原则和 基于语义的开发环境的技术。 该研究有望在以下领域带来新的进展： 环境体系结构，程序开发范式，语义 描述方法，以及使用逻辑来支持编程。

Existing tools for program development are based on a perceived requirement to support programming in conventional languages - languages often biased toward batch translation. Yet integrated development environments can hide many of the idiosyncrasies of conventional programming languages, provided only that the emphasis on conventional languages is relaxed. Semantically founded programming environments emphasize the semantic aspects of computations and descriptions of computations (programs). A semantically founded environment provides for direct manipulation of semantically interesting objects and structures without requiring a user to manipulate a syntax-based representation. The environment is organized as a collection of interacting components. Each component packages a well-defined aspect of a language or program with appropriate user-interfaces and editing models. This approach capitalizes on an environment's ability to stimulate or hide many idiosyncrasies present in textual representations of programs. This program is a two year investigation of the principles and technologies underlying semantically founded development environments. The research is expected to bring new advances in the fields of environment architecture, program development paradigms, semantic description methods, and the use of logic to support programming.