The Operational Semantics of Parallel Functional Programs

并行函数程序的操作语义

• 批准号: 8809919
• 负责人: Paul Hudak
• 金额: $ 22.52万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-11-01 至 1991-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8809919&HistoricalAwards=false
• 关键词: Operational; Semantics; Parallel; Functional; Programs

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.

推理程序的操作行为， 并行性是隐式的语言可能很困难。 这是真 对于纯函数式语言、逻辑编程语言，甚至 命令式语言，如Fortran（与向量化一起使用时 编译器）。 研究的目的是研究形式化方法， 并行的操作语义（特别是函数式的） 程序. 更具体地说，调查的适用性 为此目的，提出了一种pomsets。 一个共生的目标是使用 推理和指导Meta设计的正式工具， 语言手段（如注释），以改善操作 行为 该研究包括解决以前的缺陷， pomset语义; pomset在新操作环境中的应用; 开发了一个系统语义的概念来捕获程序， 编译器和机器;以及抽象技术的发展， 允许操作行为的编译时推断。