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 language | English (US) |
---|---|
Journal | Intelligent Systems Reference Library |
Volume | 238 |
DOIs | |
State | Published - 2023 |
ASJC Scopus subject areas
- General Computer Science
- Information Systems and Management
- Library and Information Sciences