北京邮电大学学报

  • EI核心期刊
基于整型变量一致化的整数溢出检测
徐国爱1, 张 淼1, 陈爱国1, 李忠献2
An Integer Overflow Detection Method Based on Integer Variable Unification

XU Guo-ai1, ZHANG Miao1, CHEN Ai-guo1, LI Zhong-xian2
北京邮电大学学报 . 2008, (6): 90 -93 .  DOI: 10.13190/jbupt.200806.90.193

版权所有 © 2018 《北京邮电大学学报》编辑部 京ICP备14033833号     在线人数：今日访问 当前在线 总访问

通信地址：北京市海淀区西土城路10号北京邮电大学195信箱    邮编：100876    电话：(010)62281995    QQ：307514248    微博    留言    电子邮箱：byxb@bupt.edu.cn