Introduction to set constraint-based program analysis

被引：66
作者：
Aiken, A [1 ]
机构：
[1] Univ Calif Berkeley, EECS Dept, Berkeley, CA 94702 USA
来源：
SCIENCE OF COMPUTER PROGRAMMING | 1999年 / 35卷 / 2-3期
基金：
美国国家科学基金会;
关键词：
constraints; set constraints; program analysis;
D O I：
10.1016/S0167-6423(99)00007-6
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper gives an introduction to using set constraints to specify program analyses. Several standard analysis problems are formulated using set constraints, which serves both to illustrate the style of using constraints to specify program analysis problems and the range of application of set constraints. (C) 1999 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：79 / 111
页数：33
相关论文
共 59 条
  • [1] Aho Alfred V., 2007, COMPILERS PRINCIPLES
  • [2] Aiken A, 1998, LECT NOTES COMPUT SC, V1384, P184, DOI 10.1007/BFb0054172
  • [3] DECIDABILITY OF SYSTEMS OF SET CONSTRAINTS WITH NEGATIVE CONSTRAINTS
    AIKEN, A
    KOZEN, D
    WIMMERS, E
    [J]. INFORMATION AND COMPUTATION, 1995, 122 (01) : 30 - 44
  • [4] AIKEN A, 1994, 21 ANN ACM S PRINC P, P163
  • [5] AIKEN A, 1993, LECT NOTES COMPUT SC, V832, P1
  • [6] AIKEN A, 1992, S LOG COMP SCI, P329
  • [7] AIKEN A, 1994, LECT NOTES COMPUTER, V894, P171
  • [8] AIKEN A, 1995, P ACM C FUNCT PROGR, P182
  • [9] AIKEN A, 1993, P 1993 C FUNCT PROGR, P31
  • [10] BACHMAIR L, 1993, S LOG COMP SCI JUN, P75
123456