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

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：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

63

浏览量

79

下载量

0

CSCD

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

提交

工具集

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

关联资源

相关文章

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

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

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

面向异构数据分析的形式概念分析扩展模型

基于全局初检与局部列表精检的OTFS两阶段检测方法

相关作者

李金海

刘文奇

张文修

闫梦宇

许蕾

徐宝文

杨彬

张涛

相关机构

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

昆明理工大学理学院

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

东南大学计算机科学与工程学院

燕山大学信息科学与工程学院