Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / edited by Tom Schrijvers, Peter Thiemann.
Material type:
TextSeries: Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Edition: 1st ed. 2012Description: X, 333 p. 69 illus. online resourceContent type: - text
- computer
- online resource
- 9783642298226
- Software Engineering
- Computer Science Logic and Foundations of Programming
- Compilers and Interpreters
- Formal Languages and Automata Theory
- Artificial Intelligence
- Programming Techniques
- Software engineering
- Computer science
- Compilers (Computer programs)
- Machine theory
- Artificial intelligence
- Computer programming
- 005.1 23
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.
Licensed e-book