Tallenna
Programming Languages and Systems
The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
- Alaotsikko
- 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
- Toimittaja
- Zhenjiang Hu
- Painos
- 2009 ed.
- ISBN
- 9783642106712
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 24.11.2009
- Sivumäärä
- 359
