Overview

This FLOPS 2026 constitutes the proceedings of the 18th International Symposium on Functional and Logic Programming, FLOPS 2026, held in Tsukuba, Japan, in May 26-28, 2026. The 14 full papers and 2 invited talks presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows:.Lambda Calculus and Type Theory; Term Rewriting; Programming Language Semantics; Programming Language Compilers; Functional; Logic and Functional-Logic Programming; SAT solving; and applications thereof.

Full Product Details

Author:   Michael Sperber ,  Ekaterina Komendantskaya
Publisher:   Springer Verlag, Singapore
Imprint:   Springer Nature
ISBN:  

9789819201839

ISBN 10:   9819201837
Pages:   307
Publication Date:   12 May 2026
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Not yet available  
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

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

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions