Programming languages and systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings - APLAS 2009 (2009 : Seoul, Korea); Hu, Zhenjiang; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009)
Keywords: Programming languages (Electronic computers) -- Congresses; Software engineering -- Congresses; Computer programming -- Congresses; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Programming Techniques; Software Engineering; Systems and Data Security; Mathematical Logic and Formal Languages