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

Fingerprint

Abstract Interpretation
Program Analysis
Methodology

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Program Analysis : The Abstract Interpretation Perspective. / Cousot, Patrick.

In: ACM Computing Surveys, Vol. 28, No. 4, 01.12.1996, p. 1-5.

Research output: Contribution to journalArticle

@article{8b55e29ed872465f9508ad5f5ec6f661,
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 = "1996",
month = "12",
day = "1",
doi = "10.1145/242224.242433",
language = "English (US)",
volume = "28",
pages = "1--5",
journal = "ACM Computing Surveys",
issn = "0360-0300",
publisher = "Association for Computing Machinery (ACM)",
number = "4",

}

TY - JOUR

T1 - Program Analysis

T2 - The Abstract Interpretation Perspective

AU - Cousot, Patrick

PY - 1996/12/1

Y1 - 1996/12/1

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=0042402467&partnerID=8YFLogxK

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

U2 - 10.1145/242224.242433

DO - 10.1145/242224.242433

M3 - Article

VL - 28

SP - 1

EP - 5

JO - ACM Computing Surveys

JF - ACM Computing Surveys

SN - 0360-0300

IS - 4

ER -