关于并行语言Gamma的结构化扩充

On the Extension of Structured Gamma

Gamma( general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具 .P.Fradet等人提出结构化 Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析 .在摒弃了基于“地址”的定义方式的基础上 ,给出结构化 Gamma的更一般形式的语法、语义描述 ,在两个层次上讨论结构重集 ( structured multiset)的类型 ,并指出 ,这种新模型保持了有关程序的静态类型检测等理论成果 .

The Gamma formalism is a high level parallel programming tool without artificial sequentiality. P. Fradet and D.Le Metayer proposed recently a model of structured Gamma which makes it easy for the programmer to structure the data and to specify particular control strategies. It also makes the automatic analysis of programs easier. Without relying on the “address” concept used by them, a more general form of the structured Gamma is proposed and its syntax and semantics are described in this paper. Types of structured multisets have been discussed at two levels. The author also shows that the new definition keeps the theoretic results, such as static type checking of programs untouched.