Produkt
KlappentextProgram analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems.
Zusammenfassung
The only book providing an introduction to the active area of program analysis for advanced students, researchers, and professionals
Tested in various courses: Aarhus, Imperial College (London), Pisa, Saarbrücken, Tel Aviv, Copenhagen, Schloss Dagstuhl International Conference and Research Center
Power Point transparencies will be made available online
Includes supplementary material: sn.pub/extras
The only book providing an introduction to the active area of program analysis for advanced students, researchers, and professionals
Tested in various courses: Aarhus, Imperial College (London), Pisa, Saarbrücken, Tel Aviv, Copenhagen, Schloss Dagstuhl International Conference and Research Center
Power Point transparencies will be made available online
Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-642-08474-4
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2010
Erscheinungsdatum01.12.2010
Auflage1999
Seiten452 Seiten
SpracheEnglisch
Gewicht733 g
IllustrationenXXI, 452 p.
Artikel-Nr.10263644
Rubriken