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.