This book constitutes the refereed proceedings of the 10th International Symposium on Functional and Logic Programming, FLOPS 2010, held in Sendai, Japan, in April 2010. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on types; program analysis and transformation; foundations; logic programming; evaluation and normalization; term rewriting; and parallelism and control.

This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, November 11–13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr ́?guez-Artalejo.

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001. The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.

This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and concurrency.

This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008. The 20 revised full papers, together with 3 invited contributions were carefully reviewed and selected from 59 submissions.

This book constitutes the refereed proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, held in Aizu, Japan, in September 2002. The 15 revised full papers presented together with 3 full invited papers were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on constraint programming, program transformation and analysis, semantics, rewriting, compilation techniques, and programming methodology.

This volume is a compilation of the papers presented at the Fuji International Workshop on Functional and Logic Programming in Fuji, Susono, Japan. Topics include Language Design, Formal Semantics, Compilation Techniques, Program Transformation, Programming Methods, etc.

This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming.

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming. The 9 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 14 initial workshop contributions. The papers cover current research in all areas of functional and constraint logic programming including typical areas of interest, such as foundational issues, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.

The functional logic programming paradigm combines the two most important fields of declarative programming, namely functional and logic programming, in an integrated way to allow the concise notation of high-level programs. However, the variety of concepts and conciseness of programs may also impact their efficiency. In this work we employ the powerful optimization technique of partial evaluation to develop a fully automatic program optimizer, the so-called partial evaluator. In particular, we formalize the normalization of programs during compilation, establish a formal notation of the evaluation process, develop a formal partial evaluation scheme and prove its correctness and termination, and implement a working partial evaluator which shows impressive results.