TY  - BOOK
AU  - Rival,Xavier
AU  - Yi,Kwangkeun
TI  - Introduction to static analysis: an abstract interpretation perspective
SN  - 9780262043410
AV  - TA351 
U1  - 620.1/03 
PY  - 2020///]
CY  - Cambridge, Massachusetts, London, England
PB  - The MIT Press
KW  - Statics
N1  - Literaturverzeichnis: Seiten 291-296
N2  - "The book introduces static analysis. It covers both the basic theoretical foundations and the basic practical consideration underlying the design, implementation, and the use of static analysis tools. It is hard to find good references that could provide a quick and comprehensive introduction for non-experts. The scientific literature on static analysis is huge, and may seem hard for students or working engineers to get started quickly. Indeed, while we can recommend great scientific articles on many specific topics, these are often too advanced for a general audience. The purpose of this book is precisely to provide such a general introduction, that effectively provides the basic key concepts (both in the theory and in the practical point of view), gives the gist of the state of the art in program static analysis, and that can be read rather quickly and easily. More precisely, we cover the mathematical foundations of general static analysis frameworks (semantics, semantic abstraction, computation of program invariants), more advanced notions and techniques (abstractions for advanced programming features, and to answer a wide range of semantic questions), and techniques to implement and use static analysis tools"--
UR  - https://www.gbv.de/dms/tib-ub-hannover/1664402756.pdf
ER  -