IEEE - Institute of Electrical and Electronics Engineers, Inc. - On Various Abstract Understandings of Abstract Interpretation
2015 9th International Symposium on Theoretical Aspects of Software Engineering (TASE)
|Publisher:||IEEE - Institute of Electrical and Electronics Engineers, Inc.|
|Publication Date:||1 September 2015|
|Conference Location:||Nanjing, China|
|Conference Date:||12 September 2015|
|Page(s):||2 - 3|
We discuss several possible understandings and misunderstandings of Abstract Interpretation theory and practice at various levels of abstraction.