Scalable Parallel Implementations of Declarative Programming Languages

这个项目将为分布式内存架构上的声明式编程语言开发编译和实现技术。 该项目包括三个部分。 首先，它将开发用于声明性语言的混乱传递实现的成本分析的编译时技术。 其次，它将开发和实现分布式内存系统上具有细粒度隐式并发的语言的粒度控制和任务划分算法。 最后，这个项目将开发编译时和运行时技术，以便在多级内存层次结构的上下文中有效地执行声明性语言。

This project will develop compilation and implementation techniques for declarative programming languages on distributed memory architectures. The project consists of three parts. First, it will develop compile- time techniques for cost analysis of mess\-age- passing implementations of declarative languages. Second, it will develop and implement algorithms for granularity control and task partitioning of languages with fine- grained implicit concurrency on distributed memory systems. Finally, the project will develop compile- time and runtime techniques for efficient execution of declarative languages in the context of multi-level memory hierarchies.