An Automata-Based Approach to Trace Partitioned Abstract Interpretation

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

OriginalsprogEngelsk
TitelSemantics, Logics and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
ForlagSpringer
Publikationsdato2016
Sider88-110
ISBN (Trykt)978-3-319-27809-4
ISBN (Elektronisk)978-3-319-27810-0
DOI
StatusUdgivet - 2016
NavnLecture Notes in Computer Science
Vol/bind9560
ISSN0302-9743

Citer dette

Olesen, M. C., Hansen, R. R., & Larsen, K. G. (2016). An Automata-Based Approach to Trace Partitioned Abstract Interpretation. I Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (s. 88-110). Springer. Lecture Notes in Computer Science, Bind. 9560 https://doi.org/10.1007/978-3-319-27810-0_5
Olesen, Mads Chr. ; Hansen, Rene Rydhof ; Larsen, Kim Guldstrand. / An Automata-Based Approach to Trace Partitioned Abstract Interpretation. 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).
@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",

}

Olesen, MC, Hansen, RR & Larsen, KG 2016, An Automata-Based Approach to Trace Partitioned Abstract Interpretation. i Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, Lecture Notes in Computer Science, bind 9560, s. 88-110. https://doi.org/10.1007/978-3-319-27810-0_5

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 proceedingBidrag til bog/antologiForskningpeer 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 -

Olesen MC, Hansen RR, Larsen KG. An Automata-Based Approach to Trace Partitioned Abstract Interpretation. I 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). https://doi.org/10.1007/978-3-319-27810-0_5