@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",
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",
pages = "96--117",
editor = "Chang, {Bor-Yuh Evan}",
booktitle = "Static Analysis - 26th International Symposium, SAS 2019, Proceedings",
note = "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",
}