Produktbild: Functional and Logic Programming
Band 16533

Functional and Logic Programming 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26–28, 2026, Proceedings

Fr. 94.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.05.2026

Abbildungen

XVI, 307 p. 70 illus., 20 illus. in color.

Herausgeber

Michael Sperber + weitere

Verlag

Springer Singapore

Seitenzahl

307

Maße (L/B/H)

23.5/15.5/1.8 cm

Gewicht

493 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9201-83-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.05.2026

Abbildungen

XVI, 307 p. 70 illus., 20 illus. in color.

Herausgeber

Verlag

Springer Singapore

Seitenzahl

307

Maße (L/B/H)

23.5/15.5/1.8 cm

Gewicht

493 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9201-83-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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

  • .- Finite Functional Programming: or, LAMBDA: the Ultimate Predicate.


    .- Demonic Dynamic Logic Programming.


    .- Breccia: A Functional DSL Compiled to Egglog for Test Input Generation.


    .- Finding Programming Faults Even When Large Parts of the Code have Disappeared.


    .- Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming.


    .- Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics.


    .- More Fun with Monoids.


    .- Optimizing Mesh Booleans by Being Lazy (System Description).


    .- Computing Supported Models via Transformation to Stable Models.


    .- Probabilistic Linear Logic Programming with an application to Bayesian Networks computations.


    .- Matrix Coeffect Algebra for Interdependent Context Requirements.


    .- Test Your Polymorphic Functions with Boolean Values.


    .- Automatic Knowledge Gap Detection and Plan Validation Using Counterfactual Justifications.


    .- Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication into SAT (Declarative Pearls).