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

On the Extension of Structured Gamma

作　　者：韦梓楚[1] 

机构地区：[1]中国科学院数学与系统科学研究院数学研究所,北京100080

出　　处：《软件学报》2000年第11期1560-1566,共7页Journal of Software

基　　金：国家自然科学基金资助项目!(6 97370 2 0 );科技部中法先进研究计划基金资助项目!(PRA M95 - 3)

摘　　要：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.

关 键 词：并行程序设计语言 图文法 Gamma语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]