Programming Languages and Systems - European Symposium on Programming; Kanade, Takeo; Sagiv, Mooly; Kittler, Josef (Springer Berlin / Heidelberg, 2005)