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 条
  • [1] Introduction to set constraint-based program analysis
    Aiken, Alexander
    Science of Computer Programming, 1999, 35 (02): : 79 - 111
  • [2] Constraint-Based Attribute Reduction in Rough Set Analysis
    Fan, Tuan-Fang
    Liau, Churn-Jung
    Liu, Duen-Ren
    IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), 2010,
  • [3] Constraint-Based Pattern Set Mining
    De Raedt, Luc
    Zimmermann, Albrecht
    PROCEEDINGS OF THE SEVENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING, 2007, : 237 - 248
  • [4] Constraint-based scheduling:: An introduction for newcomers
    Barták, R
    INTELLIGENT MANUFACTURING SYSTEMS 2003, 2003, : 69 - 74
  • [5] A constraint-based approach to linguistic interfaces INTRODUCTION
    Bilbiie, Gabriela
    LINGUISTICAE INVESTIGATIONES, 2020, 43 (01): : 1 - 22
  • [6] INTRODUCTION TO THE SPECIAL VOLUME ON CONSTRAINT-BASED REASONING
    FREUDER, EC
    MACKWORTH, AK
    ARTIFICIAL INTELLIGENCE, 1992, 58 (1-3) : 1 - 2
  • [7] Constraint-Based Program Reasoning with Heaps and Separation
    Duck, Gregory J.
    Jaffar, Joxan
    Koh, Nicolas C. H.
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, 2013, 8124 : 282 - 298
  • [8] An efficient constraint-based closed set mining algorithm
    Bian, Haiyun
    Bhatnagar, Raj
    Young, Barrington
    ICMLA 2007: SIXTH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS, PROCEEDINGS, 2007, : 67 - +
  • [9] Constraint-based array dependence analysis
    Univ of Maryland, College Park, United States
    ACM Trans Program Lang Syst, 3 (635-678):
  • [10] Exploring different constraint-based modelings for program verification
    Collavizza, Helene
    Rueher, Michel
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007, 2007, 4741 : 49 - 63
12345