中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共2条，第1-2条 帮助

条数/页： 排序方式：
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis 期刊论文  OAI收割
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 5, 页码: 1144-1162
作者:  Li, Haofeng;  Tan, Tian;  Li, Yue;  Lu, Jie;  Meng, Haining
  |  收藏  |  浏览/下载：6/0  |  提交时间：2024/12/06
symbolic execution of program paths involving pointer and structure variables 会议论文  OAI收割
4th International Conference on Quality Software, Braunschweig, GERMANY, SEP 08-09,
Zhang J
  |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/29