Opening book details…
Can I read Static Analysis: 15th International Symposium, Sas 2008, Valencia, Spain, July 16-18, 2008, Proceedings (lecture Notes In Computer Science) on EtoBox?
Static Analysis: 15th International Symposium, Sas 2008, Valencia, Spain, July 16-18, 2008, Proceedings (lecture Notes In Computer Science) by Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.) is a computer science book available to read on EtoBox.
What is Static Analysis: 15th International Symposium, Sas 2008, Valencia, Spain, July 16-18, 2008, Proceedings (lecture Notes In Computer Science) about?
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. The 22 revised full papers presented
Who reads Static Analysis: 15th International Symposium, Sas 2008, Valencia, Spain, July 16-18, 2008, Proceedings (lecture Notes In Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2008
- Language
- EN
- ISBN
- 9783540691662
- Category
- computer science
- Subjects
- Mathematics, Engineering, Technology
- Updated
- 2026-03-25
More by Roberto Giacobazzi, Isabella Mastroeni (auth.), María Alpuente, Germán Vidal (eds.)
Similar books
- Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers — Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (2009)
- 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: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science) — Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (2009)
- Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings — Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (2002)
- 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)