This volume contains the proceedings of the 10th International Symposium on Functional and Logic Programming (FLOPS 2010), held in Sendai, Japan, April 19–21, 2010 at Aoba Memorial Hall, Tohoku University.
FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. The previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). Since its 1999 edition, FLOPS proceedings have been published by Springer in its Lecture Notes in Computer Science series, as volumes 1722, 2024, 2441, 2998, 3945, and 4989, respectively.
In response to the call for papers, 49 papers were submitted. Each paper was reviewed by at least three Program Committee members, with the help of expert external reviewers. The Program Committee meeting was conducted electronically, for a period of two weeks, in December 2009. After careful and thorough discussion, the Program Committee selected 21 papers for presentation at the conference. In addition to the 21 contributed papers, the symposium included talks by three invited speakers: Brigitte Pientka (McGill University, Canada), Kostis Sagonas (National Technical University of Athens, Greece), and Naoyuki Tamura (Kobe University, Japan).
On behalf of the Program Committee, we would like to thank the invited speakers, who agreed to give talks and contribute papers, and all those who submitted papers to FLOPS 2010. As Program Committee Chairs, we would like to sincerely thank all the members of the FLOPS 2010 Program Committee for their excellent job, and all the external reviewers for their invaluable contribution. We are also grateful to Andrei Voronkov for making EasyChair available to us. The support of our sponsors is acknowledged. We are indebted to the Japan Society for Software Science and Technology (JSSST) SIG-PPL, the CERIES Global COE Program (Tohoku University Electro-Related Departments), the Graduate School of Information Sciences (Tohoku University), the International Information Science Foundation, the Asian Association for Foundation of Software (AAFS), the Association for Computing Machinery (ACM) SIGPLAN, and the Association for Logic Programming (ALP). Finally, we would like to thank Naoki Kobayashi (Symposium Chair), Eijiro Sumii (Local Chair) and all the members of the Local Arrangements Committee for their invaluable support throughout the preparation and organization of the symposium.