Static analysis: third international symposium, sas '96, aachen, germany, september 24 - 26, 1996. proceedings: 3rd: third international symposium, sas '96, aachen, germany, september 24-26, 1996 - proceedings
Auteur :
Cousot, Radhia
ISBN :
9783540617396
Date de publication :
11 sept. 1996
Dimensions :
23,4 x 15,6 x 2,1 cm
Poids :
570 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This work constitutes the proceedings of the Third International Static Analysis Symposium, SAS '96. Among the topics addressed are: program analysis; incremental analysis; abstract representation; partial evaluation; logic programming; functional programming; and constraint programming.