Abstract Interpretation: From 0, 1, to ∞

Research output: Contribution to journalArticlepeer-review


This paper starts from zero knowledge about abstract interpretation and provides one rapid introduction for the untaught, goes rapidly over remarkable achievements, and widens to infinitely hard problems to be solved by the savant.

Original languageEnglish (US)
JournalIntelligent Systems Reference Library
StatePublished - 2023

ASJC Scopus subject areas

  • General Computer Science
  • Information Systems and Management
  • Library and Information Sciences


Dive into the research topics of 'Abstract Interpretation: From 0, 1, to ∞'. Together they form a unique fingerprint.

Cite this