Gå direkt till innehållet
Static Analysis
Spara

Static Analysis

The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.
Undertitel
18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
Redaktör
Eran Yahav
ISBN
9783642237010
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2011-09-06
Sidor
387