Introduction to static analysis an abstract interpretation perspective Xavier Rival and Kwangkeun Yi
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 9780262043410
- 620.1/03
- TA351
- 50.03
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Semesterapparate | |
---|---|---|---|---|---|---|---|---|---|
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Textbook collection (GF) | RIV x 2020:1 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000441799 | |||
Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Course Reference (GF) | RIV x 2020:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Nicht ausleihbar | 2200000438621 | |||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Textbook collection (GF) | RIV x 2020:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000438683 |
Regale von HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik durchstöbern, Standort: Course Reference (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
REI u2 2005:1 1.Ex DVB the family of international standards for digital video broadcasting | REI w 1982:1 1.Ex Petrinetze eine Einführung | RICh m3 2016:1 2.Ex Inverse problems basics, theory and applications in geophysics | RIV x 2020:1 1.Ex Introduction to static analysis an abstract interpretation perspective | ROB a2 2001:1 3.Ex Handbook of automated reasoning 1 | ROB a2 2001:2 1.Ex Handbook of automated reasoning 2 | ROCk r 1970:1 1.Ex Convex analysis |
Literaturverzeichnis: Seiten 291-296
"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"--