Combining Imperative and Constraint Programming in Inter- active and Parallel Computing

在交互式和并行计算中结合命令式和约束式编程

• 批准号: 9111121
• 负责人: Bradley Vander Zanden
• 金额: $ 7万
• 依托单位: University of Tennessee Knoxville
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-08-01 至 1994-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9111121&HistoricalAwards=false
• 关键词: Combining; Imperative; Constraint; Programming; Inter

The rapid evolution of interactive and parallel computing has not been accompanied by a similar evolution of languages to support these models. This research is to investigate a programming model for parallel applications based on a declarative paradigm that has an interface with characteristics of popular spreadsheet model of programming. It includes multi-ways constraints and action procedures that can be triggered when constraints change the values of variables. It will support general purpose programming and will handle flow-of-control problems which become difficult in large projects with parallel processing. An important advantage of the spreadsheet model is that it is a clear step away from the traditional batch processing approach to the production of interfaces. It is a step toward an interactive environment for interface design which gives the end user control of the development process. Furthermore, it provides a mechanism for programming parallel processes directly in an interactive manner. The spreadsheet interface does not itself assume a specific underlying parallel processor architecture. Likewise, it does not require the user to specify the details of flow-of- control, a serious problem for parallel processing. An interactive capability, which also handles flow-of-control for parallel processing, is expected to impact industrial design cycles dramatically, particularly for large projects.

交互式和并行计算的快速发展 伴随着语言的类似演变， 这些模型。 本研究旨在探讨一种规划 基于声明范例的并行应用模型 它的界面具有流行的电子表格的特征， 编程模型。 它包括多路约束， 约束更改时可触发的操作过程 变量的值。 它将支持通用 编程，并将处理控制流的问题， 在并行处理的大型项目中很困难。 一个 电子表格模型的一个重要优点是， 从传统的批处理方法中迈出了一大步， 生产接口。 这是迈向互动的一步。 界面设计的环境，使最终用户可以控制 的发展过程。 此外，它还提供了一种机制， 用于直接在交互式 方式 电子表格界面本身并不假定 特定的底层并行处理器架构。 同样地， 它不需要用户指定流程的细节， 控制，并行处理的一个严重问题。 一个 交互功能，它还处理 并行处理，预计将影响工业设计 周期急剧，特别是对于大型项目。