@inproceedings{1cab5b08e7ab4415bbe5971687e21d20,
title = "On Various Abstract Understandings of Abstract Interpretation",
abstract = "We discuss several possible understandings and misunderstandings of Abstract Interpretation theory and practice at various levels of abstraction.",
keywords = "Abstract Interpretation, Abstraction, Completeness, Formal methods, Semantics, Semantics, Soundness, Static analysis, Verification",
author = "Patrick Cousot",
year = "2015",
month = oct,
day = "26",
doi = "10.1109/TASE.2015.29",
language = "English (US)",
series = "Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "2--3",
booktitle = "Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015",
note = "International Symposium on Theoretical Aspects of Software Engineering, TASE 2015 ; Conference date: 12-09-2015 Through 14-09-2015",
}