Opening book details…
Can I read STATIC ANALYSIS, LNCS 2477 on EtoBox?
STATIC ANALYSIS, LNCS 2477 by MANUEL V.HERMENEGILDO GERMAN PUEBLA,SPRINGER is a computer science book available to read on EtoBox.
What is STATIC ANALYSIS, LNCS 2477 about?
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
Who reads STATIC ANALYSIS, LNCS 2477?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- MANUEL V.HERMENEGILDO GERMAN PUEBLA,SPRINGER
- Publisher
- Springer Berlin Heidelberg : Imprint: Springer
- Published
- 2002
- Language
- EN
- ISBN
- 9783540457893
- Category
- computer science
- Subjects
- Computer Science, Management, Engineering
- Updated
- 2026-03-25
Other editions & translations
More by MANUEL V.HERMENEGILDO GERMAN PUEBLA,SPRINGER
Browse all works by MANUEL V.HERMENEGILDO GERMAN PUEBLA,SPRINGER
Similar books
- Static analysis : 8th International symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings — Martin Rinard (auth.), Patrick Cousot (2001)
- Static Analysis: 26th International Symposium, Sas 2019, Porto, Portugal, October 8-11, 2019, Proceedings (lecture Notes In Computer Science) — Bor-Yuh Evan Chang (2019)
- Static Analysis: 19th International Symposium, Sas 2012, Deauville, France, September 11-13, 2012. Proceedings (lecture Notes In Computer Science) — Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (2012)
- Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science Book 9291) — Thomas Jensen Sandrine Blazy (2015)
- Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science Book 9837) — Xavier Rival (2016)
- Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings (Lecture Notes in Computer Science Book 10422) — Francesco Ranzato,David Hutchison,Takeo Kanade,Josef Kittler,Jon M. Kleinberg,Friedemann Mattern,John C. Mitchell,Moni Naor,C. Pandu Rangan,Bernhard Steffen,Demetri Terzopoulos,Doug Tygar,Gerhard Weikum (2017)