Ebook: Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Author: Oleg Kiselyov Andy King (eds.)
- Tags: Software Engineering, Logics and Meanings of Programs, Programming Languages Compilers Interpreters, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics), Programming Techniques
- Series: Lecture Notes in Computer Science 9613
- Year: 2016
- Publisher: Springer International Publishing
- Edition: 1
- Language: English
- pdf
This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness.
Download the book Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)