Program Analysis: The Abstract Interpretation Perspective

Research output: Contribution to journalArticle

Abstract

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
Volume28
Issue number4
DOIs
StatePublished - Dec 1 1996

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

  • Cite this