"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--
"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--
Patrick Cousot is Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor in the Computer Science Department at New York University.
Inhaltsangabe
I Introduction II Syntax III Trace Semantics IV Properties and their Abstractions V Fixpoints and their Abstractions VI Reachability Semantics VII Abstract Domain and Abstract Interpreter VIII Specification and Verification IX Cartesian Static Analysis X Effective Fixpoint Approximation XI Relational Static Analysis XII Symbolic Static Analysis XIII Backward Static Analysis XIV Sound Static Analysis Tools XV Conclusion Bibliography Author Index Index Symbol Index Project Index
I Introduction II Syntax III Trace Semantics IV Properties and their Abstractions V Fixpoints and their Abstractions VI Reachability Semantics VII Abstract Domain and Abstract Interpreter VIII Specification and Verification IX Cartesian Static Analysis X Effective Fixpoint Approximation XI Relational Static Analysis XII Symbolic Static Analysis XIII Backward Static Analysis XIV Sound Static Analysis Tools XV Conclusion Bibliography Author Index Index Symbol Index Project Index
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
