
Functional and Logic Programming
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
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.
More details
Other editions
Additional editions

Content
.- 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).
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.