Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings / [electronic resource] :
edited by Tom Schrijvers, Peter Thiemann.
- X, 333 p. 69 illus. online resource.
- Lecture Notes in Computer Science, 7294 0302-9743 ; .
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.