Functional and Logic Programming, Kartoniert / Broschiert

Functional and Logic Programming

Buch

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

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 72,27

Versandkosten (United States of America): EUR 19,90

Herausgeber:: Michael Sperber, Ekaterina Komendantskaya
Verlag:: Springer, 05/2026
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9789819201839
Artikelnummer:: 12765447
Umfang:: 324 Seiten
Gewicht:: 493 g
Maße:: 235 x 155 mm
Stärke:: 18 mm
Erscheinungstermin:: 12.5.2026
Serie:: Lecture Notes in Computer Science - Band 16533
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

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.