| Ambient演算的数据流分析方法及其实现 |
| |
| 引用本文： | 张晶,张丽翠,金成植. Ambient演算的数据流分析方法及其实现[J]. 计算机科学, 2006, 33(8): 247-248 |
| |
| 作者姓名： | 张晶 张丽翠 金成植 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院,长春130012;吉林大学通信工程学院,长春130012 |
| |
| 摘 要： | 针对Ambient演算的定义，提出了Ambient演算语法结构树的概念，并且给出一个基于Ambient语法结构树的Ambient演算的数据流分析方法及其实现。为深入研究Ambient演算的性质和应用提供了分析手段。
|
| 关 键 词： | Ambient演算 数据流分析 Ambient语法结构树 |
Method and Implementation of Data Flow Analysis for Ambient Calculus |
| |
| ZHAGN Jing,ZHANG Li-Cui,JIN Cheng-Zhi. Method and Implementation of Data Flow Analysis for Ambient Calculus[J]. Computer Science, 2006, 33(8): 247-248 |
| |
| Authors: | ZHAGN Jing ZHANG Li-Cui JIN Cheng-Zhi |
| |
| Affiliation: | 1.College of Computer Science and Technology, Jilin University, Changehun 130012; 2. College of Communication Engineering, Jilin University, Changehun 130012 |
| |
| Abstract: | According to the definition of ambient calculus, we propose the concept of ambient syntactic structure tree, and introduce a data flow analysis method for ambient calculus based on the structural tree of ambient calculus and the implementation of the analysis algorithms. The present paper provides a way to further studying the features and application of ambient calculus. |
| |
| Keywords: | Ambient calculus Data flow analysis Ambient syntactic structure tree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
