Willkommen, schön sind Sie da!
Logo Ex Libris

Functional and Logic Programming

  • Kartonierter Einband
  • 268 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in... Weiterlesen
20%
69.00 CHF 55.20
Sie sparen CHF 13.80
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

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.



Includes supplementary material: sn.pub/extras



Inhalt

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.

Produktinformationen

Titel: Functional and Logic Programming
Untertitel: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Editor:
EAN: 9783319296036
ISBN: 3319296035
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Genre: Informatik
Anzahl Seiten: 268
Gewicht: 411g
Größe: H235mm x B155mm x T14mm
Jahr: 2016
Untertitel: Englisch
Auflage: 1st ed. 2016

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"