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 |
Browsing Information Technology University, Lahore Shelves , Shelving location: General Stacks Close shelf browser
No cover image available | ||||||||
620.00452 B598R 2007 Reliability Evaluation of Engineering Systems : | 620.00452 R215R 2016 Reliability engineering / | 620.103 B575E 2008 Engineering mechanics / | 620.103 R616I 2020 Introduction to static analysis an abstract interpretation perspective / | 620.103 S531E 2012 Engineering mechanics / | 620.106 H624F 2017 Fluid mechanics / | 620.106 K963F 2010 Fluid mechanics and fluid power engineering (in SI units) / |
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.