Rival, Xavier,
Introduction to static analysis an abstract interpretation perspective / Xavier Rival and Kwangkeun Yi. - Cambridge, MA : The Mit Press, 2020. - xiv, 299 pages ; 24 cm
NBL010822
"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.
eng
hbk
9780262043410
Statics.
620.103 R616I 2020
Introduction to static analysis an abstract interpretation perspective / Xavier Rival and Kwangkeun Yi. - Cambridge, MA : The Mit Press, 2020. - xiv, 299 pages ; 24 cm
NBL010822
"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.
eng
hbk
9780262043410
Statics.
620.103 R616I 2020