Program analysis: The abstract interpretation perspective

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)165-es
JournalACM Computing Surveys
Volume28A
Issue number4es
StatePublished - Dec 1996

Cite this

Program analysis : The abstract interpretation perspective. / Cousot, Patrick.

In: ACM Computing Surveys, Vol. 28A, No. 4es, 12.1996, p. 165-es.

Research output: Contribution to journalArticle

@article{939cc3efc71041bb8e6dc5371b8e9dc0,
title = "Program analysis: The abstract interpretation perspective",
author = "Patrick Cousot",
year = "1996",
month = "12",
language = "English (US)",
volume = "28A",
pages = "165--es",
journal = "ACM Computing Surveys",
issn = "0360-0300",
publisher = "Association for Computing Machinery (ACM)",
number = "4es",

}

TY - JOUR

T1 - Program analysis

T2 - The abstract interpretation perspective

AU - Cousot, Patrick

PY - 1996/12

Y1 - 1996/12

M3 - Article

VL - 28A

SP - 165-es

JO - ACM Computing Surveys

JF - ACM Computing Surveys

SN - 0360-0300

IS - 4es

ER -