On Various Abstract Understandings of Abstract Interpretation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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

Original languageEnglish (US)
Title of host publicationProceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages2-3
Number of pages2
ISBN (Electronic)9781467376129
DOIs
StatePublished - Oct 26 2015
EventInternational Symposium on Theoretical Aspects of Software Engineering, TASE 2015 - Nanjing, China
Duration: Sep 12 2015Sep 14 2015

Publication series

NameProceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015

Other

OtherInternational Symposium on Theoretical Aspects of Software Engineering, TASE 2015
CountryChina
CityNanjing
Period9/12/159/14/15

Keywords

  • Abstract Interpretation
  • Abstraction
  • Completeness
  • Formal methods
  • Semantics
  • Semantics
  • Soundness
  • Static analysis
  • Verification

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software

Cite this

Cousot, P. (2015). On Various Abstract Understandings of Abstract Interpretation. In Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015 (pp. 2-3). [7307726] (Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/TASE.2015.29