Static analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings - International Static Analysis Symposium 2009 : Los Angeles, Calif.); Palsberg, Jens.; Su, Zhendong; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses; Software Engineering; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Computer Science