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.