Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.

List of contents

Declarative programming.- Functional programming.- Logic programming.

Summary

This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.

Product details

• Assisted by: Michae Codish (Editor), Michael Codish (Editor), Sumii (Editor), Sumii (Editor), Eijiro Sumii (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 22.04.2014
• EAN: 9783319071503
• ISBN: 978-3-31-907150-3
• No. of pages: 353
• Dimensions: 157 mm x 235 mm x 20 mm
• Weight: 564 g
• Illustrations: XVI, 353 p. 81 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science / Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT