Principles of Abstract Interpretation

DOI10.1145/3546953zbMath1522.00134OpenAlexW4296371626MaRDI QIDQ6136751

Reinhard Wilhelm

Publication date: 31 August 2023

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3546953

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) External book reviews (00A17)