An Automata-Based Approach to Trace Partitioned Abstract Interpretation

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

Originalsprog	Engelsk
Titel	Semantics, Logics and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Forlag	Springer
Publikationsdato	2016
Sider	88-110
ISBN (Trykt)	978-3-319-27809-4
ISBN (Elektronisk)	978-3-319-27810-0
DOI	https://doi.org/10.1007/978-3-319-27810-0_5
Status	Udgivet - 2016

Navn	Lecture Notes in Computer Science
Vol/bind	9560
ISSN	0302-9743

Adgang til dokumentet

@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. s. 88-110 (Lecture Notes in Computer Science, Bind 9560).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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 -