KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Functional and Logic Programming
Band 9613

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

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

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...

Beschreibung

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. 

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

23.02.2016
Abbildungen

XII, 253 p. 55 illus. in color.
Herausgeber Oleg Kiselyov + weitere

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

23.02.2016
Abbildungen

XII, 253 p. 55 illus. in color.
Herausgeber
Verlag Springer
Seitenzahl

253
Maße (L/B/H)

23,5/15,5/1,5 cm
Gewicht

411 g
Auflage

1st ed. 2016
Sprache

Englisch
ISBN

978-3-319-29603-6
Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Functional and Logic Programming

  • 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.