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

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

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.