一种过程间单子切片方法

您当前的位置：

首页 >

文章列表页 >

一种过程间单子切片方法

学术论文 | 更新时间：2025-07-16

上一篇|下一篇

- 一种过程间单子切片方法
- An Approach of Monadic Slicing for Interprocedural Programs
- 张迎周，符炜
- 电子学报 2013年41卷第8期页码：1457-1461
- 作者机构：
  1. 南京邮电大学计算机学院,江苏,南京,210003
  2. 广西可信软件重点实验室, 桂林电子科技大学,广西,桂林,541004
  3. 江苏省无线传感网高技术研究重点实验室,江苏,南京,210003
  4. 宽带无线通信与传感网技术教育部重点实验室,江苏,南京,210003
  5. 南京邮电大学计算机学院,江苏,南京,210003
  6. 广西可信软件重点实验室桂林电子科技大学,广西,桂林,541004
  7. 江苏省无线传感网高技术研究重点实验室,江苏,南京,210003
  8. 宽带无线通信与传感网技术教育部重点实验室,江苏,南京,210003
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.60973046,No.61100135);江苏省普通高校研究生科研创新计划 (No.CX10B_195Z,No.CXLX12_0479);南京邮电大学攀登计划 (No.NY210009);广西可信软件重点实验室开放基金和江苏省"青蓝工程"优秀青年骨干教师项目
- DOI： 10.3969/j.issn.0372-2112.2013.08.001
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

64

浏览量

39

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

CloAct：基于克隆关系和模体的关键类识别方法

基于概念漂移感知的异常流量检测模型轻量化更新机制

TF-PEFT：面向脑电基础模型的时频双流参数高效微调框架

基于慢波微同轴的紧凑型开关线式真时延单元

面向低空无人机监测的3D MIMO OTFS通信感知一体化方法

相关作者

暂无数据

相关机构

暂无数据