Functional and Logic Programming

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Functional and Logic Programming by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319296043
Publisher: Springer International Publishing Publication: February 22, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319296043
Publisher: Springer International Publishing
Publication: February 22, 2016
Imprint: Springer
Language: English

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. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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. 

More books from Springer International Publishing

Cover of the book Handbook of Optimization in the Railway Industry by
Cover of the book Scientific Models by
Cover of the book Mobility Patterns and Experiences of the Middle Classes in a Globalizing Age by
Cover of the book Evolutionary Computation in Combinatorial Optimization by
Cover of the book Dupuytren’s Contracture by
Cover of the book Simulating Crowds in Egress Scenarios by
Cover of the book Simple Relation Algebras by
Cover of the book Fairness in Academic Course Timetabling by
Cover of the book Dental Erosion and Its Clinical Management by
Cover of the book Controller Tuning with Evolutionary Multiobjective Optimization by
Cover of the book Software Project Management for Distributed Computing by
Cover of the book Computer Vision – ACCV 2016 Workshops by
Cover of the book Robot Intelligence Technology and Applications 5 by
Cover of the book The Concept of Time in Early Twentieth-Century Philosophy by
Cover of the book Metaheuristics: Outlines, MATLAB Codes and Examples by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy