Abstract interpretation

Research output: Contribution to journalArticle

LanguageEnglish (US)
Pages324-328
Number of pages5
JournalACM Computing Surveys
Volume28
Issue number2
StatePublished - Jun 1996

Fingerprint

Abstract Interpretation

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Theoretical Computer Science

Cite this

Abstract interpretation. / Cousot, Patrick.

In: ACM Computing Surveys, Vol. 28, No. 2, 06.1996, p. 324-328.

Research output: Contribution to journalArticle

Cousot, P 1996, 'Abstract interpretation' ACM Computing Surveys, vol. 28, no. 2, pp. 324-328.
Cousot, Patrick. / Abstract interpretation. In: ACM Computing Surveys. 1996 ; Vol. 28, No. 2. pp. 324-328
@article{bca2136736674d6598869ca133039f5b,
title = "Abstract interpretation",
author = "Patrick Cousot",
year = "1996",
month = "6",
language = "English (US)",
volume = "28",
pages = "324--328",
journal = "ACM Computing Surveys",
issn = "0360-0300",
publisher = "Association for Computing Machinery (ACM)",
number = "2",

}

TY - JOUR

T1 - Abstract interpretation

AU - Cousot,Patrick

PY - 1996/6

Y1 - 1996/6

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

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

M3 - Article

VL - 28

SP - 324

EP - 328

JO - ACM Computing Surveys

T2 - ACM Computing Surveys

JF - ACM Computing Surveys

SN - 0360-0300

IS - 2

ER -