%0 Journal Article
%T On the Extension of Structured Gamma<br>关于并行语言Gamma的结构化扩充
%A WEI Zi-chu
%A <br>韦梓楚
%J 软件学报
%D 2000
%I 
%X Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“地址”的定义方式的基础上,给出结构化Gamma的更一般形式的语法、语义描 述,在两个层次上讨论结构重集(structured multiset)的类型,并指出,这种新模型保持了有 关程序的静态类型检测等理论成果.
%K parallel programming language
%K structur ed Gamma
%K graph grammar
%K type of multiset
%K type checking of program<br>并行程序设计语言
%K 结构化Gamma(general
%K abstract
%K model
%K for
%K multiset
%K manipulation)
%K 图文法
%K 重集的类型
%K 程序的类型检测.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=C1C8233F0D06DE84&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=708DD6B15D2464E8&sid=0E6C9B38667ABC5C&eid=330226EF26D09028&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=7