Ambient演算的数据流分析方法及其实现  

Method and Implementation of Data Flow Analysis for Ambient Calculus

作　　者：张晶[1] 张丽翠[2] 金成植[1] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012 [2]吉林大学通信工程学院,长春130012

出　　处：《计算机科学》2006年第8期247-248,255,共3页Computer Science

基　　金：吉林省科技厅项目(批准号:20050527)

摘　　要：针对Ambient演算的定义,提出了Ambient演算语法结构树的概念,并且给出一个基于Ambient语法结构树的Ambient演算的数据流分析方法及其实现。为深入研究Ambient演算的性质和应用提供了分析手段。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.

关 键 词：Ambient演算 数据流分析 Ambient语法结构树 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]