Implementation of Concurrent Constraint Programming Languages

在这个项目中考虑了并发约束编程语言的有效实现问题。特别强调了程序分析、转换和优化。调查分为四个阶段。首先，研究了并发约束编程语言的抽象解释框架，强调了高效数据流算法的发展。其次，研究了用于操作用户注释的断言语言和工具。然后，考虑运行时数据表示问题和与并发性的交互。最后，对并行硬件的有效利用进行了编译时分析和任务粒度控制。

Issues in the efficient implementation of concurrent constraint programming languages are considered in this project. In particular, program analysis, transformation, and optimization are emphasized. Four stages comprise this investigation. First, abstract interpretation frameworks for concurrent constraint programming languages are examined emphasizing the development of efficient dataflow algorithms. Next, assertion language and tools for manipulating user annotations are studied. Then, runtime data representation issues and interactions with concurrency are considered. Finally, compile-time analysis and control of task granularity for the effective utilization of parallel hardware are examined.