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 条
  • [11] BOURDONCLE F, 1997, ACM S PRINC PROGR LA, P302
  • [12] Cardone F., 1990, APIC SERIES, V31, P19
  • [13] REGISTER ALLOCATION VIA COLORING
    CHAITIN, GJ
    AUSLANDER, MA
    CHANDRA, AK
    COCKE, J
    HOPKINS, ME
    MARKSTEIN, PW
    [J]. COMPUTER LANGUAGES, 1981, 6 (01): : 47 - 57
  • [14] CHARATONIK W, 1994, IEEE S LOG, P128, DOI 10.1109/LICS.1994.316078
  • [15] CHARATONIK W, 1994, FDN COMPUTER SCI, P642
  • [16] COPPO M, 1992, LECT NOTES COMPUT SC, V581, P102
  • [17] Cousot P, 1995, LECT NOTES COMPUT SC, V939, P293
  • [18] COUSOT P, 1992, LECT NOTES COMPUT SC, V631, P269, DOI 10.1007/3-540-55844-6_142
  • [19] COUSOT P, 1978, FORMAL DESCRIPTION P
  • [20] Cousot P., 1977, Proceedings of the 4th ACM SIGACTSIGPLAN symposium on Principles of programming languages, P238, DOI [DOI 10.1145/512950.512973, 10.1145/512950.512973]
123456