Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings / [electronic resource] :
edited by Michael Codish, Eijiro Sumii.
- 1st ed. 2014.
- XVI, 353 p. 81 illus. online resource.
- Theoretical Computer Science and General Issues, 8475 2512-2029 ; .
- Theoretical Computer Science and General Issues, 8475 .
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.
9783319071510
10.1007/978-3-319-07151-0 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 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.
9783319071510
10.1007/978-3-319-07151-0 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