Abstract interpretation: Theory and practice

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationModel Checking Software - 9th International SPIN Workshop, Proceedings
PublisherSpringer Verlag
Pages2-5
Number of pages4
Volume2318
ISBN (Print)3540434771, 3540434771, 9783540434771, 9783540434771
StatePublished - 2002
Event9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002 - Grenoble, France
Duration: Apr 11 2002Apr 13 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2318
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002
CountryFrance
CityGrenoble
Period4/11/024/13/02

Fingerprint

Abstract Interpretation

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Cousot, P. (2002). Abstract interpretation: Theory and practice. In Model Checking Software - 9th International SPIN Workshop, Proceedings (Vol. 2318, pp. 2-5). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2318). Springer Verlag.

Abstract interpretation : Theory and practice. / Cousot, Patrick.

Model Checking Software - 9th International SPIN Workshop, Proceedings. Vol. 2318 Springer Verlag, 2002. p. 2-5 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2318).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cousot, P 2002, Abstract interpretation: Theory and practice. in Model Checking Software - 9th International SPIN Workshop, Proceedings. vol. 2318, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2318, Springer Verlag, pp. 2-5, 9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, 4/11/02.
Cousot P. Abstract interpretation: Theory and practice. In Model Checking Software - 9th International SPIN Workshop, Proceedings. Vol. 2318. Springer Verlag. 2002. p. 2-5. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Cousot, Patrick. / Abstract interpretation : Theory and practice. Model Checking Software - 9th International SPIN Workshop, Proceedings. Vol. 2318 Springer Verlag, 2002. pp. 2-5 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{bee44ca68e1a4ec29057ef64c2813341,
title = "Abstract interpretation: Theory and practice",
author = "Patrick Cousot",
year = "2002",
language = "English (US)",
isbn = "3540434771",
volume = "2318",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "2--5",
booktitle = "Model Checking Software - 9th International SPIN Workshop, Proceedings",

}

TY - GEN

T1 - Abstract interpretation

T2 - Theory and practice

AU - Cousot, Patrick

PY - 2002

Y1 - 2002

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

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

M3 - Conference contribution

SN - 3540434771

SN - 3540434771

SN - 9783540434771

SN - 9783540434771

VL - 2318

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 2

EP - 5

BT - Model Checking Software - 9th International SPIN Workshop, Proceedings

PB - Springer Verlag

ER -