Static analysis: 9th international symposium, sas 2002, madrid, spain, september 17-20, 2002, proceedings
Auteur :
Hermenegildo, Manuel
ISBN :
9783540442356
Date de publication :
6 sept. 2002
Dimensions :
23,4 x 15,6 x 2,8 cm
Poids :
760 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Compiled from the proceedings of the 9th International Static Analysis Symposium, this volume contains 32 revised full papers. They are organized by topic and include papers on theory, data structure analysis, type inference, analysis of numerical problems, implementation and data flow analysis.