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)

Author(s): Patrick Cousot
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
ISBN (Electronic): 978-1-4673-7612-9
DOI: 10.1109/TASE.2015.29
Regular:

We discuss several possible understandings and misunderstandings of Abstract Interpretation theory and practice at various levels of abstraction.

Advertisement