Tallenna
Static Analysis
The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
- Alaotsikko
- 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
- Toimittaja
- Jens Palsberg, Zhendong Su
- Painos
- 2009 ed.
- ISBN
- 9783642032363
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 20.7.2009
- Sivumäärä
- 362
