Programming Languages and Systems : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings - APLAS 2005 (2005 : Tsukuba, Japan); Yi, Kwangkeun; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2005)
Keywords: Programming languages (Electronic computers) -- Congresses; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Operating Systems; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering