Refined Languages: Sequential Languages for Parallel Programming

Refined Language（Refined Fortran，Refined C等）是 它们的母语言的扩展，在这些扩展中， 表达并行性，但不可能创建种族。 在严格 如果需要确定性行为，则多次执行 具有相同输入数据的Fortran程序可以保证 计算相同的结果或以相同的运行时错误终止 而不考虑调度的差异。 异步行为 如果我们希望，种族自由就能得到保证。 成品 语言方法通过扩展顺序 使用数据（而不是控制）的命令式编程语言 定向术语 Refined ANSI Fortran `77的规范，以及 Fortran `77程序间代码分析工具完成。 这 奖励是修改规范Fortran `8X，扩展 分析工具导入到Refined Fortran `8X编译器中，并利用 精化语言的特殊功能来构造精化Fortran `8X符号调试器。 比较表达的形式研究 面向控制的并行命令式语言和数据的能力- 面向并行命令式语言将随之而来。

Refined Languages (Refined Fortran, Refined C, etc.) are extensions of their parent languages in which it is possible to express parallelism, but impossible to create races. Where strictly deterministic behavior is desired, multiple executions of a Refined Fortran program with the same input data can be guaranteed to either compute the same results or terminate with the same run-time errors regardless of differences in scheduling. Where asynchronous behavior is desired, freedom from races can be guaranteed. The Refined Languages approach achieves its goal by extending sequential imperative programming languages with data- (rather than control-) oriented terms. Specification of Refined ANSI Fortran `77, and construction of an interprocedural Fortran `77 code analysis tool are complete. This award is to modify the specification to Fortran `8X, extend the analysis tool into a Refined Fortran `8X compiler, and exploit the special features of Refined Languages to construct a Refined Fortran `8X symbolic debugger. Formal study of the comparative expressive powers of control-oriented parallel imperative languages and data- oriented parallel imperative languages will ensue.