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.