Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings

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.

Product details

• Assisted by: Tom Schrijvers (Editor), Peter Thiemann (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 04.05.2012
• EAN: 9783642298219
• ISBN: 978-3-642-29821-9
• No. of pages: 333
• Weight: 521 g
• Illustrations: X, 333 p. 69 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Artificial Intelligence, computer science, Theory of Computation, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic