Introduction to static analysis : an abstract interpretation perspective /

"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...

Full description

Bibliographic Details

Main Authors:	Rival, Xavier (Author), Yi, Kwangkeun (Author)
Format:	Book
Language:	English
Published:	Cambridge, MA : The MIT Press, [2020]
Subjects:	Statics.