Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings - Garrigue, Jacques; Hermenegildo, Manuel V. (Springer Berlin Heidelberg, 2008)