Title :
On Various Abstract Understandings of Abstract Interpretation
Author_Institution :
Courant Inst. of Math. Sci., New York Univ., New York, NY, USA
Abstract :
We discuss several possible understandings and misunderstandings of Abstract Interpretation theory and practice at various levels of abstraction.
Keywords :
"Semantics","Computer languages","Concrete","Interpolation","Presses","Extrapolation"
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on
DOI :
10.1109/TASE.2015.29
