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

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Software

Cite this

@article{f847070b382c462ea1a29eac356c960a,
title = "Program Analysis: The Abstract Interpretation Perspective",
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.",
author = "Patrick Cousot",
year = "1997",
language = "English (US)",
volume = "32",
pages = "73--76",
journal = "ACM SIGPLAN Notices",
issn = "1523-2867",
publisher = "Association for Computing Machinery (ACM)",
number = "1",

}

TY - JOUR

T1 - Program Analysis

T2 - The Abstract Interpretation Perspective

AU - Cousot, Patrick

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0346045026&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0346045026&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0346045026

VL - 32

SP - 73

EP - 76

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

SN - 1523-2867

IS - 1

ER -