| 关于并行语言Gamma的结构化扩充 |
| |
| 引用本文： | 韦梓楚.关于并行语言Gamma的结构化扩充[J].软件学报,2000,11(11):1560-1566. |
| |
| 作者姓名： | 韦梓楚 |
| |
| 作者单位： | 中国科学院,数学与系统科学研究院,数学研究所,北京,100080 |
| |
| 基金项目： | 基金项目:国家自然科学基金资助项目(69737020);科技部中法先进研究计 划基金资助项目(PRA M95-3) |
| |
| 摘 要： | Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“地址”的定义方式的基础上,给出结构化Gamma的更一般形式的语法、语义描 述,在两个层次上讨论结构重集(structured multiset)的类型,并指出,这种新模型保持了有 关程序的静态类型检测等理论成果.
|
| 关 键 词： | 并行程序设计语言 结构化Gamma(general abstract model for multiset manipulation) 图文法 重集的类型 程序的类型检测. |
| 收稿时间： | 1999/5/17 0:00:00 |
| 修稿时间： | : |
On the Extension of Structured Gamma |
| |
| WEI Zi-chu.On the Extension of Structured Gamma[J].Journal of Software,2000,11(11):1560-1566. |
| |
| Authors: | WEI Zi-chu |
| |
| Abstract: | |
| |
| Keywords: | parallel programming language structur ed Gamma graph grammar type of multiset type checking of program |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
