Publisher: Springer; 2009 edition (November 24, 2009)
Format: PDF / Kindle / ePub
Size: 7.7 MB
Downloadable formats: PDF
This ebook constitutes the refereed court cases of the seventh Asian Symposium on Programming Languages and platforms, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers provided during this quantity including three invited talks have been rigorously reviewed and chosen from fifty six submissions. The papers are divided into topical sections on software research, transformation and optimization, style procedure, separation common sense, good judgment and origin conception, software program protection and verification, and software program defense and verification.