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

这三年的美国奖-法国计算机程序设计合作研究 南加州大学伊莎贝尔分校的Jean-Luc Gaudiot参与了这项研究 法国国家计算机科学与工程研究所的阿塔利 和应用数学（INRIA）在索菲亚安提波利斯，和丹尼斯卡罗梅尔的 尼斯大学。 该奖项为Gaudiot博士提供旅行支持和生活津贴， 他与法国研究人员的合作。 研究的目的是 研究并行化技术和算法形式化描述和扩展 用于编译用函数语言（Sisal）和并行对象编写的程序 面向对象语言（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.