一种基于高阶函数摘要的依赖簇检测方法

您当前的位置：

首页 >

文章列表页 >

一种基于高阶函数摘要的依赖簇检测方法

学术论文 | 更新时间：2025-12-08

上一篇|下一篇

- 一种基于高阶函数摘要的依赖簇检测方法
- A Dependence Clusters Detection Method Based on Higher-Order Function Summary
- 杨嘉毅，张迎周，李俊锋，马锐，汪全盛，薛渝川
- 电子学报 2024年52卷第4期页码：1337-1348
- 作者机构：
  南京邮电大学计算机学院、软件学院、网络空间安全学院，江苏南京 210023
- 作者简介：
  杨嘉毅男，1997年1月出生于江苏省徐州市.南京邮电大学硕士毕业生.主要研究领域为程序分析、函数式编程. E-mail: 18013977230@163.com
  张迎周男，1978年1月出生于安徽庐江.南京邮电大学教授.主要研究方向为软件与信息安全. E-mail: zhangyz@njupt.edu.cn
  李俊锋男，1999年5月出生于新疆维吾尔自治区奎屯市.南京邮电大学硕士生.主要研究方向为程序分析. E-mail: 1617736692@qq.com
  马锐男，2000年7月出生于江苏淮安.南京邮电大学硕士生.主要研究方向为程序分析. E-mail: 1607414781@qq.com
  汪全盛男，1999年12月出生于江苏省南京市.南京邮电大学硕士生.主要研究领域为程序分析.E-mail: 1366257509@qq.com
  薛渝川男，1999年1月出生于江苏省徐州市睢宁县.南京邮电大学硕士生.主要研究方向为程序分析. E-mail: 1842688656@qq.com
- 基金信息：
  国家自然科学基金(62272214)
- DOI： 10.12263/DZXB.20230862
  中图分类号：
- 修回：2023-12-08 ，
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
图( 1 ) 表( 5 )
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

67

浏览量

81

下载量

0

CSCD

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

提交

工具集

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

关联资源

相关文章

带对象结构信息形式背景的概念知识发现与演化

一致性信息引导的半监督概念认知学习

基于概念内涵最小生成子的伪内涵计算方法

基于属性拓扑的可视化形式概念计算

包含绕包铝箔屏蔽的数据线缆信号完整性解析方法

相关作者

李金海

刘文奇

张文修

闫梦宇

苑克花

钱宇华

徐伟华

郭豆豆

相关机构

昆明理工大学理学院

西安交通大学数学与统计学院

昆明理工大学数据科学研究中心

同济大学计算机科学与技术学院

山西大学大数据科学与产业研究院