An Automata-Based Approach to Trace Partitioned Abstract Interpretation

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

Original language	English
Title of host publication	Semantics, Logics and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Publisher	Springer
Publication date	2016
Pages	88-110
ISBN (Print)	978-3-319-27809-4
ISBN (Electronic)	978-3-319-27810-0
DOIs	https://doi.org/10.1007/978-3-319-27810-0_5
Publication status	Published - 2016

Series	Lecture Notes in Computer Science
Volume	9560
ISSN	0302-9743

Access to Document

@inbook{87d8ae8c01d04d2196b3652dc65fdb75,

title = "An Automata-Based Approach to Trace Partitioned Abstract Interpretation",

author = "Olesen, {Mads Chr.} and Hansen, {Rene Rydhof} and Larsen, {Kim Guldstrand}",

year = "2016",

doi = "10.1007/978-3-319-27810-0_5",

language = "English",

isbn = "978-3-319-27809-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "88--110",

booktitle = "Semantics, Logics and Calculi",

address = "Germany",

}

An Automata-Based Approach to Trace Partitioned Abstract Interpretation. / Olesen, Mads Chr.; Hansen, Rene Rydhof ; Larsen, Kim Guldstrand.
Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, 2016. p. 88-110 (Lecture Notes in Computer Science, Vol. 9560).

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

TY - CHAP

T1 - An Automata-Based Approach to Trace Partitioned Abstract Interpretation

AU - Olesen, Mads Chr.

AU - Hansen, Rene Rydhof

AU - Larsen, Kim Guldstrand

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-319-27810-0_5

DO - 10.1007/978-3-319-27810-0_5

M3 - Book chapter

SN - 978-3-319-27809-4

T3 - Lecture Notes in Computer Science

SP - 88

EP - 110

BT - Semantics, Logics and Calculi

PB - Springer

ER -