Program Analysis: The Abstract Interpretation Perspective

Research output: Contribution to journalArticlepeer-review

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)73-76
Number of pages4
JournalSIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Volume32
Issue number1
DOIs
StatePublished - 1997

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design

Cite this