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
相关论文
共 50 条
  • [31] Banshee: A scalable constraint-based analysis toolkit
    Kodumal, J
    Aiken, A
    STATIC ANALYSIS, PROCEEDINGS, 2005, 3672 : 218 - 234
  • [32] A constraint-based analysis of association with focus in Japanese
    Kubota, Y
    PACLIC 17: Language, Information and Computation, Proceedings, 2003, : 16 - 27
  • [33] Constraint-based agents
    Nareyek, A
    CONSTRAINT-BASED AGENTS: AN ARCHITECTURE FOR CONSTRAINT-BASED MODELING AND LOCAL-SEARCH-BASED REASONING FOR PLANNING AND SCHEDULING IN OPEN AND DYNAMIC WORLDS, 2001, 2062 : 1 - +
  • [34] CONSTRAINT-BASED REASONING
    KASIF, S
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1991, 6 (06): : 55 - 55
  • [35] Constraint-Based Metrics
    Chris Golston
    Natural Language & Linguistic Theory, 1998, 16 : 719 - 770
  • [36] Constraint-based metrics
    Golston, C
    NATURAL LANGUAGE & LINGUISTIC THEORY, 1998, 16 (04) : 719 - 770
  • [37] Constraint-based reachability
    Gotlieb, Arnaud
    Denmat, Tristan
    Lazaar, Nadjib
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (107): : 25 - 43
  • [38] Constraint-based scheduling
    Fromherz, MPJ
    PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 3231 - 3244
  • [39] Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming
    Hyttinen, Antti
    Eberhardt, Frederick
    Jarvisalo, Matti
    UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 2014, : 340 - 349
  • [40] CONSTRAINT-BASED MODELING
    MUNDY, JL
    VROBEL, P
    JOYNSON, R
    IMAGE UNDERSTANDING WORKSHOP /, 1989, : 425 - 442
12345