Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Functional and Logic Programming: 13th International Symposium, Flops 2016, Kochi, Japan, March 4-6, 2016, Proceedings

0/5 ( ratings)

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.

Pages: 253

Format: Paperback

Publisher: Springer

Release: February 23, 2016

ISBN: 3319296035

ISBN 13: 9783319296036

Functional and Logic Programming: 13th International Symposium, Flops 2016, Kochi, Japan, March 4-6, 2016, Proceedings

0/5 ( ratings)

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.

Pages: 253

Format: Paperback

Publisher: Springer

Release: February 23, 2016

ISBN: 3319296035

ISBN 13: 9783319296036

More books from Andy King

Edward I: A New King Arthur?

3.6/5 ( ratings)

Battlecats #1

3.2/5 ( ratings)

Play by Play Baseball

Play-By-Play Figure Skating

Gone and Missing: A Two Book Set

War, Government and Aristocracy in the British Isles, c.1150-1500: Essays in Honour of Michael Prestwich

England and Scotland in the Fourteenth Century: New Perspectives

The Control Epic: Books 1-9 (The Control Epic Boxed Set)

The Soldier in Later Medieval England

The Andy King's Guide To... Being a Gentleman

Sir Thomas Gray: Scalacronica (1272-1363)

England and Scotland at War, c.1296-c.1513

G: Honor and Curse #1

Beginning Soccer

Fundamental Baseball

Levers

US Road Trips for Families

Inclined Planes and Wedges

Firesoul - The magical girl reborn in ice age

Rate this book!

Write a review?