%0 Journal Article
%T Method and Implementation of Data Flow Analysis for Ambient Calculus<br>Ambient演算的数据流分析方法及其实现
%A ZHAGN Jing
%A ZHANG Li-Cui
%A JIN Cheng-Zhi
%A <br>张晶
%A 张丽翠
%A 金成植
%J 计算机科学
%D 2006
%I 
%X 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.
%K Ambient calculus
%K Data flow analysis
%K Ambient syntactic structure tree<br>Ambient演算
%K 数据流分析
%K Ambient语法结构树
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=4CCAD6C2D3D0BF0F&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=5D311CA918CA9A03&sid=002786F01A86D891&eid=FBA00558C57D9C11&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=5