Static analysis: 21st international symposium, sas 2014, munich, germany, september 11-13, 2014. proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319109350
Date de publication :
20 août 2014
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.