|国家科技期刊平台
| 注册
首页|期刊导航|吉林大学学报（理学版）|Action演算中动作内部数据流分析方法及其实现

Action演算中动作内部数据流分析方法及其实现

金英 金成植 郑爽

吉林大学学报（理学版）2003，Vol.41Issue(1)：54-58,5.
✕
吉林大学学报（理学版）2003，Vol.41Issue(1)：54-58,5.

Action演算中动作内部数据流分析方法及其实现

Method and Implementation of Data Flow Analysis for a Single Action in Action Calculi

金英 1金成植 1郑爽2

作者信息

  • 1. 吉林大学计算机科学与技术学院,长春,130012
  • 2. 润迅通信集团有限公司,深圳,518001
  • 折叠

摘要

关键词

Action演算/数据流分析/分子形式/分子语法结构树

分类

信息技术与安全科学

引用本文复制引用

金英,金成植,郑爽..Action演算中动作内部数据流分析方法及其实现[J].吉林大学学报（理学版）,2003,41(1):54-58,5.

基金项目

国家自然科学基金(批准号: 60073041). （批准号: 60073041）

吉林大学学报（理学版）

OACSCDCSTPCD

1671-5489

访问量0
|
下载量0
段落导航相关论文