ENGLISH

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

By Manuel V. Hermenegildo , Thomas Reps (auth.) , Germán Puebla (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2002
ISBN
3540442359, 9783540442356
DOI
10.1007/3-540-45789-5
Open Library ID
OL18178135M
Language
english
Format
PDF
Filesize
5 MB (5546868 bytes)
Series
Lecture Notes in Computer Science 2477
Edition
1
Pages
536\538
Library
Kolxo3
Time added
2011-01-23 12:00:00
CompilersInterpreters; Logics and Meanings of Programs; SofProgramming Languages

Description

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.

Similar books