Program Analysis: The Abstract Interpretation Perspective

Research output: Contribution to journalArticlepeer-review


Program analysis should evolve from a disparate collection of methods and algorithms to a mature discipline founded on a well-established methodology. Abstract interpretation can be used as a basis for such a methodology.

Original languageEnglish (US)
Pages (from-to)73-76
Number of pages4
JournalACM SIGPLAN Notices
Issue number1
StatePublished - 1997

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design

Cite this