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 条
  • [41] Constraint-based lexica
    Bouma, G
    Van Eynde, F
    Flickinger, D
    LEXICON DEVELOPMENT FOR SPEECH AND LANGUAGE PROCESSING, 2000, 12 : 43 - +
  • [42] On the computation of the minimum set of reactions for optimal growth in constraint-based models
    Oarga, Alexandru
    Julvez, Jorge
    2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 1276 - 1281
  • [43] Constraint-Based Refactoring
    Steimann, Friedrich
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2018, 40 (01):
  • [44] Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning
    Meseguer, Pedro
    Rossi, Francesca
    Schiex, Thomas
    CONSTRAINTS, 2010, 15 (04) : 453 - 455
  • [45] Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning
    Pedro Meseguer
    Francesca Rossi
    Thomas Schiex
    Constraints, 2010, 15 : 453 - 455
  • [46] Constraint-based approach for qualitative matrix structural analysis
    Schwartz, David I.
    Chen, Stuart S.
    Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM, 1995, 9 (01): : 23 - 36
  • [47] Automated, Constraint-Based Analysis of Tethered DNA Nanostructures
    Lakin, Matthew R.
    Phillips, Andrew
    DNA COMPUTING AND MOLECULAR PROGRAMMING, 2017, 10467 : 1 - 16
  • [48] Global Sensitivity Analysis of Constraint-Based Metabolic Models
    Damiani, Chiara
    Pescini, Dario
    Nobile, Marco S.
    COMPUTATIONAL INTELLIGENCE METHODS FOR BIOINFORMATICS AND BIOSTATISTICS, CIBB 2018, 2020, 11925 : 179 - 186
  • [49] Constraint-based verification of δ-σ modulators using interval analysis
    Al Sammane, Ghiath
    Zaki, Mohamed H.
    Tahar, Sofiene
    Bois, Guy
    2007 50TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-3, 2007, : 608 - +
  • [50] Performance Analysis of Parallel Constraint-Based Local Search
    Caniou, Yves
    Diaz, Daniel
    Richoux, Florian
    Codognet, Philippe
    Abreu, Salvador
    ACM SIGPLAN NOTICES, 2012, 47 (08) : 337 - 338
12345