@inproceedings{acfdb371a872417fb36bfe41c6d7757f,
title = "Syntactic and Semantic Soundness of Structural Dataflow Analysis",
abstract = "We show that the classical approach to the soundness of dataflow analysis is with respect to a syntactic path abstraction that may be problematic with respect to a semantics trace-based specification. The fix is a rigorous abstract interpretation based approach to formally construct dataflow analysis algorithms by calculational design.",
keywords = "Abstract interpretation, Dataflow analysis, Model-checking, Soundness",
author = "Patrick Cousot",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2019.; 26th International Static Analysis Symposium, SAS 2019 held as part of the 3rd World Congress on Formal Methods, FM 2019 ; Conference date: 08-10-2019 Through 11-10-2019",
year = "2019",
doi = "10.1007/978-3-030-32304-2_6",
language = "English (US)",
isbn = "9783030323035",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "96--117",
editor = "Chang, {Bor-Yuh Evan}",
booktitle = "Static Analysis - 26th International Symposium, SAS 2019, Proceedings",
address = "Germany",
}