• Title of article

    Introduction to set constraint-based program analysis

  • Author/Authors

    ALEXANDER AIKEN، نويسنده ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 1999
  • Pages
    33
  • From page
    79
  • To page
    111
  • Abstract
    This paper given 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.
  • Keywords
    Constraints , Set constraints , Program analysis
  • Journal title
    Science of Computer Programming
  • Serial Year
    1999
  • Journal title
    Science of Computer Programming
  • Record number

    1079550

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1079550