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