E-Book, Englisch, 253 Seiten, eBook
Kiselyov / King Functional and Logic Programming
1. Auflage 2016
ISBN: 978-3-319-29604-3
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
E-Book, Englisch, 253 Seiten, eBook
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-319-29604-3
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Logic/Constraint
Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation
Computer Project.- From Sets to Bits in Coq.- From proposition to program:
embedding the refinement calculus in Coq.- The Boolean Constraint Solver of
SWI-Prolog: System Description.- Probabilistic inference by program
transformation in Hakaru: System description.- An interaction net encoding of
Godel's System T.- Space-efficient Planar Acyclicity Constraints: A Declarative
Pearl.- Executable Relational Specifications of Polymorphic Type Systems using
Prolog.- Proof Relevant Corecursive Resolution.- A Coq Library For Internal
Verification of Running-Times.- A Transformational Approach to Parametric
Accumulated-cost Static Profiling.- Polymorphic Types in Erlang Function
Specifications.- Declarative foreign function binding through generic
programming.- Declarative Programming with Algebra.
