An algebraic approach to the static analysis of concurrent software

Javier Esparza

doi:10.1007/3-540-45789-5_3

An algebraic approach to the static analysis of concurrent software

University of Edinburgh

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

Original language	English
Title of host publication	Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings
Editors	Manuel V. Hermenegildo, German Puebla
Publisher	Springer Verlag
Pages	3
Number of pages	1
ISBN (Print)	3540442359
DOIs	https://doi.org/10.1007/3-540-45789-5_3
State	Published - 2002
Externally published	Yes
Event	9th International Static Analysis Symposium, SAS 2002 - Madrid, Spain Duration: 17 Sep 2002 → 20 Sep 2002

Publication series

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

Conference

Conference	9th International Static Analysis Symposium, SAS 2002
Country/Territory	Spain
City	Madrid
Period	17/09/02 → 20/09/02

Access to Document

10.1007/3-540-45789-5_3

Cite this

Esparza, J. (2002). An algebraic approach to the static analysis of concurrent software. In M. V. Hermenegildo, & G. Puebla (Eds.), Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings (pp. 3). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2477). Springer Verlag. https://doi.org/10.1007/3-540-45789-5_3

Esparza, Javier. / An algebraic approach to the static analysis of concurrent software. Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings. editor / Manuel V. Hermenegildo ; German Puebla. Springer Verlag, 2002. pp. 3 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2ed807cf511845c89d3aee5203c9969c,

title = "An algebraic approach to the static analysis of concurrent software",

author = "Javier Esparza",

year = "2002",

doi = "10.1007/3-540-45789-5_3",

language = "English",

isbn = "3540442359",

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

publisher = "Springer Verlag",

pages = "3",

editor = "Hermenegildo, {Manuel V.} and German Puebla",

booktitle = "Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings",

note = "9th International Static Analysis Symposium, SAS 2002 ; Conference date: 17-09-2002 Through 20-09-2002",

}

Esparza, J 2002, An algebraic approach to the static analysis of concurrent software. in MV Hermenegildo & G Puebla (eds), Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2477, Springer Verlag, pp. 3, 9th International Static Analysis Symposium, SAS 2002, Madrid, Spain, 17/09/02. https://doi.org/10.1007/3-540-45789-5_3

An algebraic approach to the static analysis of concurrent software. / Esparza, Javier.
Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings. ed. / Manuel V. Hermenegildo; German Puebla. Springer Verlag, 2002. p. 3 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2477).

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

TY - GEN

T1 - An algebraic approach to the static analysis of concurrent software

AU - Esparza, Javier

PY - 2002

Y1 - 2002

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

U2 - 10.1007/3-540-45789-5_3

DO - 10.1007/3-540-45789-5_3

M3 - Conference contribution

AN - SCOPUS:84958746296

SN - 3540442359

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

SP - 3

BT - Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings

A2 - Hermenegildo, Manuel V.

A2 - Puebla, German

PB - Springer Verlag

T2 - 9th International Static Analysis Symposium, SAS 2002

Y2 - 17 September 2002 through 20 September 2002

ER -

Esparza J. An algebraic approach to the static analysis of concurrent software. In Hermenegildo MV, Puebla G, editors, Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings. Springer Verlag. 2002. p. 3. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45789-5_3

An algebraic approach to the static analysis of concurrent software

Publication series

Conference

Access to Document

Other files and links

Cite this