eBook

Kiselyov / King

Functional and Logic Programming

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

sofort lieferbar!

Rezensionen ansehen

Standardpreis

50,28 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

eBook. PDF

eBook

2016

253 S. XII, 253 p. 55 illus. in color..

In englischer Sprache

Springer International Publishing. ISBN 978-3-319-29604-3

Das Werk ist Teil der Reihe: Theoretical Computer Science and General Issues Lecture Notes in Computer Science

Produktbeschreibung

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.