Abstract Interpretation: From 0, 1, to ∞

Research output: Contribution to journalArticlepeer-review

Abstract

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
Volume238
DOIs
StatePublished - 2023

ASJC Scopus subject areas

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

Fingerprint

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

Cite this