STATIC ANALYSIS OF PROGRAMS AS AN AID TO DEBUGGING

被引：0
作者：
TISCHLER, R
SCHAUFLER, R
PAYNE, C
机构：
来源：
SIGPLAN NOTICES | 1983年 / 18卷 / 08期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：155 / 158
页数：4
相关论文
共 9 条
  • [1] ADRION WR, 1982, ACM COMPUT SURV, V14, P159, DOI DOI 10.1145/356876.356879
  • [2] BOYER R, 1975, ACM SIGPLAN NOTICES, V10, P6
  • [3] HART JJ, 1979, ACM SIGPLAN NOTICES, V14, P110
  • [4] Hecht Matthew S., 1977, FLOW ANAL COMPUTER P
  • [5] Osterweil L. J., 1976, Software - Practice and Experience, V6, P473, DOI 10.1002/spe.4380060405
  • [6] WARREN S, 1982, 6TH IEEE INT C SOFTW
  • [7] WEISER M, 1981, 5TH IEEE INT C SOFTW
  • [8] [No title captured]
  • [9] 1981, GC2638572 ORD
1