A tutorial on domain theory in abstract interpretation

Roberto Giacobazzi

doi:10.1007/3-540-49727-7_21

A tutorial on domain theory in abstract interpretation

Roberto Giacobazzi

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

Original language	English (US)
Title of host publication	Static Analysis - 5th International Symposium, SAS 1998, Proceedings
Publisher	Springer-Verlag
Pages	349-350
Number of pages	2
ISBN (Print)	3540650148, 9783540650140
DOIs	https://doi.org/10.1007/3-540-49727-7_21
State	Published - 1998
Externally published	Yes
Event	5th International Symposium on Static Analysis, SAS 1998 - Pisa, Italy Duration: Sep 14 1998 → Sep 16 1998

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1503 LNCS

Conference

Conference	5th International Symposium on Static Analysis, SAS 1998
Country/Territory	Italy
City	Pisa
Period	9/14/98 → 9/16/98

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-49727-7_21

Cite this

Giacobazzi, R. (1998). A tutorial on domain theory in abstract interpretation. In Static Analysis - 5th International Symposium, SAS 1998, Proceedings (pp. 349-350). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1503 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-49727-7_21

A tutorial on domain theory in abstract interpretation. / Giacobazzi, Roberto.
Static Analysis - 5th International Symposium, SAS 1998, Proceedings. Springer-Verlag, 1998. p. 349-350 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1503 LNCS).

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

Giacobazzi, R 1998, A tutorial on domain theory in abstract interpretation. in Static Analysis - 5th International Symposium, SAS 1998, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1503 LNCS, Springer-Verlag, pp. 349-350, 5th International Symposium on Static Analysis, SAS 1998, Pisa, Italy, 9/14/98. https://doi.org/10.1007/3-540-49727-7_21

@inproceedings{da535571cefc44baa0cbd67e822da76a,

title = "A tutorial on domain theory in abstract interpretation",

author = "Roberto Giacobazzi",

year = "1998",

doi = "10.1007/3-540-49727-7\_21",

language = "English (US)",

isbn = "3540650148",

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

publisher = "Springer-Verlag",

pages = "349--350",

booktitle = "Static Analysis - 5th International Symposium, SAS 1998, Proceedings",

note = "5th International Symposium on Static Analysis, SAS 1998 ; Conference date: 14-09-1998 Through 16-09-1998",

}

TY - GEN

T1 - A tutorial on domain theory in abstract interpretation

AU - Giacobazzi, Roberto

PY - 1998

Y1 - 1998

UR - https://www.scopus.com/pages/publications/84905015636

UR - https://www.scopus.com/pages/publications/84905015636#tab=citedBy

U2 - 10.1007/3-540-49727-7_21

DO - 10.1007/3-540-49727-7_21

M3 - Conference contribution

SN - 3540650148

SN - 9783540650140

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

SP - 349

EP - 350

BT - Static Analysis - 5th International Symposium, SAS 1998, Proceedings

PB - Springer-Verlag

T2 - 5th International Symposium on Static Analysis, SAS 1998

Y2 - 14 September 1998 through 16 September 1998

ER -

A tutorial on domain theory in abstract interpretation

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this