论文部分内容阅读
针对Action演算的分子形式, 提出分子语法结构树等概念, 并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现. 为深入研究Action演算的性质和应用提供了分析手段.
Action演算中动作内部数据流分析方法及其实现
【摘 要】
：
针对Action演算的分子形式, 提出分子语法结构树等概念, 并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现. 为深入研究Action演算的性质和应用提供了分析手
【机 构】
：
吉林大学计算机科学与技术学院,润迅通信集团有限公司
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2003年1期
【基金项目】
：
国家自然科学基金
其他文献
<正>随着热水器普及率的上升,超期服役的产品逐渐增多。储水式电热水器(以下简称电热水器)作为安装类家电,在安装过程中需考虑电路、水路、墙壁承重等众多因素,同时还受到消