Functional and Logic Programming

11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings

• Author(s): Tom Schrijvers, Peter Thiemann,
• Publisher: Springer
• Pages: 333
• ISBN_10: 3642298222
  ISBN_13: 9783642298226
  
• Language: en
• Categories: Computers / Software Development & Engineering / General , Computers / Programming / General , Computers / Languages / General , Mathematics / Logic , Computers / Artificial Intelligence / General , Computers / Information Technology , Mathematics / Discrete Mathematics ,

Description:... 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.