Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings - Blume, Matthias (Springer-Verlag Berlin Heidelberg, 2010)