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)1-5
Number of pages5
JournalACM Computing Surveys
Issue number4
StatePublished - Dec 1 1996

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Program Analysis: The Abstract Interpretation Perspective'. Together they form a unique fingerprint.

Cite this