Principles of Abstract Interpretationthe_mit_press978-02-6204-490-597802620449052021-09-21English (United States)832HardcoverBook profileEnglish (United States)
Book · 1 edition
Principles of Abstract Interpretation
- 2021
- first published
- English
- language
- 1
- edition in English
- 832
- pages
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs. Formal methods are mathematically rigorous...
Editions
1 edition · sort: newestPrinciples of Abstract Interpretationthe_mit_press978-02-6204-490-597802620449052021-09-21English (United States)832Hardcover