Principles of Abstract Interpretation

DOI10.1145/3546953MaRDI QIDQ6136751zbMATHOpenAlexFDO

Authors 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

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

This page was built for publication: Principles of Abstract Interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6136751)