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 条
  • [21] Constraint-based termination analysis of logic programs
    Decorte, S
    De Schreye, D
    Vandecasteele, H
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (06): : 1137 - 1195
  • [22] A logic for constraint-based security protocol analysis
    Corin, Ricardo
    Saptawijaya, Ari
    Etalle, Sandro
    2006 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2006, : 155 - 168
  • [23] Constraint-based linear-relations analysis
    Sankaranarayanan, S
    Sipma, HB
    Manna, Z
    STATIC ANALYSIS, PROCEEDINGS, 2004, 3148 : 53 - 68
  • [24] Constraint-Based Mechanism Analysis of a Robot Gripper
    Chen, Daniel
    JOURNAL OF ENGINEERING TECHNOLOGY, 2008, 25 (02) : 18 - 24
  • [25] Analysis Operations for Constraint-based Recommender Systems
    Lubos, Sebastian
    Le, Viet-Man
    Felfernig, Alexander
    Tran, Thi Ngoc Trang
    PROCEEDINGS OF THE 17TH ACM CONFERENCE ON RECOMMENDER SYSTEMS, RECSYS 2023, 2023, : 709 - 714
  • [26] Constraint-based approach for analysis of hybrid systems
    Gulwani, Sumit
    Tiwari, Ashish
    COMPUTER AIDED VERIFICATION, 2008, 5123 : 190 - +
  • [27] Contradiction Analysis for Constraint-based Random Simulation
    Grosse, Daniel
    Wille, Robert
    Siegmund, Robert
    Drechsler, Rolf
    2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 154 - +
  • [28] A Constraint-Based Analysis of Coda in Kelantan Dialect
    Aziz, Adi Yasran Abdul
    GEMA ONLINE JOURNAL OF LANGUAGE STUDIES, 2012, 12 (04): : 1127 - 1145
  • [29] SYSTEMS BIOLOGY: CONSTRAINT-BASED RECONSTRUCTION AND ANALYSIS
    Wang, Daifeng
    QUARTERLY REVIEW OF BIOLOGY, 2017, 92 (03): : 303 - 304
  • [30] Challenges in Constraint-Based Analysis of Hybrid Systems
    Eggers, Andreas
    Kalinnik, Natalia
    Kupferschmid, Stefan
    Teige, Tino
    RECENT ADVANCES IN CONSTRAINTS, 2009, 5655 : 51 - +
12345