Abstract interpretation: a theory of approximate computation

Kim Marriott

doi:10.1007/BFb0032757

Abstract interpretation: a theory of approximate computation

Kim Marriott

Department of Human Centred Computing

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

2 Citations (Scopus)

Original language	English
Title of host publication	Static Analysis - 4th International Symposium, SAS 1997
Editors	Pascal Van Hentenryck
Publisher	Springer
Pages	367-378
Number of pages	12
ISBN (Print)	9783540634683
DOIs	https://doi.org/10.1007/BFb0032757
Publication status	Published - 1997
Event	Static Analysis Symposium 1997 - Paris, France Duration: 8 Sept 1997 → 10 Sept 1997 Conference number: 4th https://link.springer.com/book/10.1007/BFb0032729 (Proceedings)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	1302 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Static Analysis Symposium 1997
Abbreviated title	SAS 1997
Country/Territory	France
City	Paris
Period	8/09/97 → 10/09/97
Internet address	https://link.springer.com/book/10.1007/BFb0032729 (Proceedings)

Access to Document

10.1007/BFb0032757

Cite this

@inproceedings{6189b869fbb34cc19022c92f4160c93b,

title = "Abstract interpretation: a theory of approximate computation",

author = "Kim Marriott",

year = "1997",

doi = "10.1007/BFb0032757",

language = "English",

isbn = "9783540634683",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "367--378",

editor = "\{Van Hentenryck\}, Pascal",

booktitle = "Static Analysis - 4th International Symposium, SAS 1997",

address = "Switzerland",

note = "Static Analysis Symposium 1997, SAS 1997 ; Conference date: 08-09-1997 Through 10-09-1997",

url = "https://link.springer.com/book/10.1007/BFb0032729",

}

TY - GEN

T1 - Abstract interpretation

T2 - Static Analysis Symposium 1997

AU - Marriott, Kim

N1 - Conference code: 4th

PY - 1997

Y1 - 1997

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

U2 - 10.1007/BFb0032757

DO - 10.1007/BFb0032757

M3 - Conference Paper

AN - SCOPUS:34548057824

SN - 9783540634683

T3 - Lecture Notes in Computer Science

SP - 367

EP - 378

BT - Static Analysis - 4th International Symposium, SAS 1997

A2 - Van Hentenryck, Pascal

PB - Springer

Y2 - 8 September 1997 through 10 September 1997

ER -

Abstract interpretation: a theory of approximate computation

Publication series

Conference

Access to Document

Other files and links

Cite this