U.S.- France Cooperative Research (INRIA): Formal Specification and Transformation of Parallel Programs

这项为期三年的计算机编程语言美法合作研究的获奖者包括南加州大学的Jean-Luc Gaudiot、位于索菲亚-安提波利斯的法国国家计算机科学与工程与应用数学研究所（INRIA）的Isabelle Attali和尼斯大学的Denis Caromel。该奖项为高迪奥博士与法国研究人员的合作提供旅行和生活支持。本研究的目的是研究用函数式语言（Sisal）和并行面向对象语言（Eiffel）编写的程序编译的并行化技术和算法的形式化描述和扩展。他们还将探讨并行编程设计的有效性。该项目利用了一种名为Eiffel的编程语言，这种语言是由法国调查人员开发的。

This three-year award for U.S.-France cooperative research in computer programming languages involves Jean-Luc Gaudiot of the University of Southern California, Isabelle Attali of the French National Institute for Research in Computer Science and Engineering and Applied Mathematics (INRIA) at Sophia-Antipolis, and Denis Caromel of the University of Nice. The award provides travel support and subsistence to Dr. Gaudiot for his collaboration with the French researchers. The objective of the research is to investigate formal description and extension of parallelization techniques and algorithms for compilation of programs written in a functional language (Sisal) and in a parallel object oriented language (Eiffel). They will also explore their effectiveness in designing parallel programming. The project takes advantage of access to a programming language known as Eiffel which was developed by the French investigators.