Functional and Logic Programming

Name: Functional and Logic Programming
Price: 79.99 USD
Availability: InStock
ISBN: 9789819201846

18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings

Computer programming / software engineering Programming and scripting languages: general Software Engineering Mathematical theory of computation Systems analysis and design Artificial intelligence

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 11th May 2026

Format: LCP-protected ePub

ISBN: 9789819201846

FLOPS 2026

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.

Show more Show less