• DocumentCode
    3678474
  • Title

    On Various Abstract Understandings of Abstract Interpretation

  • Author

    Patrick Cousot

  • Author_Institution
    Courant Inst. of Math. Sci., New York Univ., New York, NY, USA
  • fYear
    2015
  • Firstpage
    2
  • Lastpage
    3
  • Abstract
    We discuss several possible understandings and misunderstandings of Abstract Interpretation theory and practice at various levels of abstraction.
  • Keywords
    "Semantics","Computer languages","Concrete","Interpolation","Presses","Extrapolation"
  • Publisher
    ieee
  • Conference_Titel
    Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on
  • Type

    conf

  • DOI
    10.1109/TASE.2015.29
  • Filename
    7307726
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3678474