Static analysis: 6th international symposium, sas'99, venice, italy, september 22-24, 1999, proceedings: 6th: sixth international symposium, sas '99, venice, italy, september 22-24, 1999 - proceedings
Auteur :
Cortesi, Agostino
ISBN :
9783540664598
Date de publication :
8 sept. 1999
Dimensions :
23,3 x 15,5 x 1,9 cm
Poids :
1150 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
In the text, topics include sections on synchronization in Java programs, synchronous languages, abstract domains, concurrency, static single assignment and foundations.