The Operational Semantics of Parallel Functional Programs

对用隐含并行性的语言编写的程序的操作行为进行推理可能会很困难。对于纯函数式语言、逻辑编程语言，甚至像Fortran这样的命令式语言(当与矢量化编译器一起使用时)都是如此。提出了一种用于表示并行(特别是函数式)程序操作语义的形式化方法。更具体地说，建议对鞍集是否适合这一目的进行调查。共生的目标是使用正式的工具来推理和指导元语言工具(如注释)的设计，以改进操作行为。该研究包括解决以前的子集语义中的不足；在新的操作环境中应用子集；开发系统语义的概念以捕获程序、编译器和机器；以及开发抽象技术以允许对操作行为进行编译时推理。

Reasoning about the operational behavior of programs written in languages whose parallelism is implicit can be difficult. This is true for purely functional languages, logic programming languages, and even imperative languages such as Fortran (when used with a vectorizing compiler). Research is proposed to study formal methods for expressing the operational semantics of parallel (and in particular functional) programs. More specifically, an investigation of the suitability of pomsets for this purpose is proposed. A symbiotic goal is the use of the formal tools to reason about and guide the design of meta- linguistic devices (such as annotations) to refine operational behavior. The research includes addressing deficiencies in previous pomset semantics; applying pomsets in new operational setting; the development of a notion of systems semantics to capture program, compiler, and machine; and the development of abstraction techniques to allow compile-time inferencing of operational behavior.