Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / [electronic resource] :
edited by Tom Schrijvers, Peter Thiemann.
- 1st ed. 2012.
- X, 333 p. 69 illus. online resource.
- Theoretical Computer Science and General Issues, 7294 2512-2029 ; .
- Theoretical Computer Science and General Issues, 7294 .
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.
9783642298226
10.1007/978-3-642-29822-6 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Machine theory.
Artificial intelligence.
Computer programming.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Formal Languages and Automata Theory.
Artificial Intelligence.
Programming Techniques.
QA76.758
005.1
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.
9783642298226
10.1007/978-3-642-29822-6 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Machine theory.
Artificial intelligence.
Computer programming.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Formal Languages and Automata Theory.
Artificial Intelligence.
Programming Techniques.
QA76.758
005.1