Del 9613 i serien Lecture Notes in Computer Science

Functional and Logic Programming

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

Häftad, Engelska, 2016

699 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming;

Produktinformation

Utgivningsdatum2016-02-23
Mått155 x 235 x 15 mm
Vikt411 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor253
FörlagSpringer International Publishing AG
ISBN9783319296036

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT
Artificiell intelligens inom Data och IT

Logic/ConstraintProgramming and Concurrency: The Hard-Won Lessons of the Fifth GenerationComputer Project.- From Sets to Bits in Coq.- From proposition to program:embedding the refinement calculus in Coq.- The Boolean Constraint Solver ofSWI-Prolog: System Description.- Probabilistic inference by programtransformation in Hakaru: System description.- An interaction net encoding ofGodel's System T.- Space-efficient Planar Acyclicity Constraints: A DeclarativePearl.- Executable Relational Specifications of Polymorphic Type Systems usingProlog.- Proof Relevant Corecursive Resolution.- A Coq Library For InternalVerification of Running-Times.- A Transformational Approach to ParametricAccumulated-cost Static Profiling.- Polymorphic Types in Erlang FunctionSpecifications.- Declarative foreign function binding through genericprogramming.- Declarative Programming with Algebra.