Static analysis: first international static analysis symposium, sas '94, namur, belgium, september 28 - 30, 1994. proceedings: 1st: first international static analysis symposium, sas '94, namur, belgium, september 28-30, 1994 - proceedings
Auteur :
Le / LeCharlier, Baudoin
ISBN :
9783540584858
Date de publication :
14 sept. 1994
Dimensions :
23,3 x 15,5 x 2,4 cm
Poids :
1500 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains papers addressing the static analysis aspects of various programming paradigms. The contributors cover program optimization, strictness-related analysis, type-based analyses and type inference, dependency analyses and abstract domain construction.