Related Books
Language: en
Pages: 132
Pages: 132
Type: BOOK - Published: 1978 - Publisher:
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 1988 - Publisher:
Language: en
Pages: 833
Pages: 833
Type: BOOK - Published: 2021-09-21 - Publisher: MIT Press
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.
Language: en
Pages: 564
Pages: 564
Type: BOOK - Published: 1977 - Publisher:
Semiannual, with semiannual and annual indexes. References to all scientific and technical literature coming from DOE, its laboratories, energy centers, and con
Language: en
Pages: 315
Pages: 315
Type: BOOK - Published: 2020-02-11 - Publisher: MIT Press
A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users. Static program anal