Gå direkte til innholdet
Static Analysis
Spar

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.
Undertittel
18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
Redaktør
Eran Yahav
ISBN
9783642237010
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
6.9.2011
Antall sider
387