Introduction to static analysis an abstract interpretation perspective / Xavier Rival and Kwangkeun Yi.
By: Rival, Xavier [author.].
Contributor(s): Yi, Kwangkeun [author.].
Material type: BookPublisher: Cambridge, MA : The Mit Press, 2020Description: xiv, 299 pages ; 24 cm.ISBN: 9780262043410.Subject(s): StaticsDDC classification: 620.103 R616I 2020 Summary: "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.Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Information Technology University, Lahore General Stacks | 620.103 R616I 2020 (Browse shelf) | Available | 008856 |
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
There are no comments for this item.