Abstract interpretation: Theory and practice

Patrick Cousot

doi:10.1007/3-540-46017-9_2

Abstract interpretation: Theory and practice

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Model Checking Software - 9th International SPIN Workshop, Proceedings
Editors	Dragan Bosnacki, Stefan Leue
Publisher	Springer Verlag
Pages	2-5
Number of pages	4
ISBN (Print)	3540434771, 3540434771, 9783540434771, 9783540434771
DOIs	https://doi.org/10.1007/3-540-46017-9_2
State	Published - 2002
Event	9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002 - Grenoble, France Duration: Apr 11 2002 → Apr 13 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2318
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002
Country/Territory	France
City	Grenoble
Period	4/11/02 → 4/13/02

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-46017-9_2

Cite this

Cousot, P. (2002). Abstract interpretation: Theory and practice. In D. Bosnacki, & S. Leue (Eds.), Model Checking Software - 9th International SPIN Workshop, Proceedings (pp. 2-5). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2318). Springer Verlag. https://doi.org/10.1007/3-540-46017-9_2

Abstract interpretation: Theory and practice. / Cousot, Patrick.
Model Checking Software - 9th International SPIN Workshop, Proceedings. ed. / Dragan Bosnacki; Stefan Leue. 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 proceeding › Conference contribution

Cousot, P 2002, Abstract interpretation: Theory and practice. in D Bosnacki & S Leue (eds), Model Checking Software - 9th International SPIN Workshop, Proceedings. 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. https://doi.org/10.1007/3-540-46017-9_2

@inproceedings{bee44ca68e1a4ec29057ef64c2813341,

title = "Abstract interpretation: Theory and practice",

author = "Patrick Cousot",

year = "2002",

doi = "10.1007/3-540-46017-9_2",

language = "English (US)",

isbn = "3540434771",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "2--5",

editor = "Dragan Bosnacki and Stefan Leue",

booktitle = "Model Checking Software - 9th International SPIN Workshop, Proceedings",

note = "9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002 ; Conference date: 11-04-2002 Through 13-04-2002",

}

TY - GEN

T1 - Abstract interpretation

T2 - 9th International SPIN Workshop, 2002 held in cooperation with European Joint Conferences on Theory and Practice of Software, ETAPS 2002

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

U2 - 10.1007/3-540-46017-9_2

DO - 10.1007/3-540-46017-9_2

M3 - Conference contribution

AN - SCOPUS:84957803598

SN - 3540434771

SN - 9783540434771

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

A2 - Bosnacki, Dragan

A2 - Leue, Stefan

PB - Springer Verlag

Y2 - 11 April 2002 through 13 April 2002

ER -

Abstract interpretation: Theory and practice

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this