Static analysis: 7th international symposium, sas 2000, santa barbara, ca, usa, june 29 - july 6, 2000, proceedings
Auteur :
Palsberg, Jens
ISBN :
9783540676683
Date de publication :
14 juin 2000
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
646 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains the refereed proceedings of the 7th International Static Analysis Symposium (SAS 2000). The 20 papers presented cover a variety of aspects of high-performance implementation and verification of programming languages.