Static Analysis - 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings (Paperback, 2002 ed.)

This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002.The 32 revised full papers presented were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, semantics and abstract verification, and termination analysis.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2477
Release date:	September 2002
First published:	2002
Editors:	Manuel Hermenegildo • German Puebla
Dimensions:	235 x 155 x 28mm (L x W x T)
Format:	Paperback
Pages:	536
Edition:	2002 ed.
ISBN-13:	978-3-540-44235-6
Categories:	Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Databases > Data capture & analysis
LSN:	3-540-44235-9
Barcode:	9783540442356

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!