Functional and Logic Programming: 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26–28, 2026, Proceedings (Lecture Notes in Computer Science, 16533) - Softcover

 
9789819201839: Functional and Logic Programming: 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26–28, 2026, Proceedings (Lecture Notes in Computer Science, 16533)
Softcover
ISBN 10: 9819201837 ISBN 13: 9789819201839
Verlag: Springer, 2026

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2026
Sprache
Englisch
ISBN 10 
9819201837
ISBN 13 
9789819201839
Einband
Taschenbuch
Anzahl der Seiten
323
Herausgeber
Sperber Michael, Komendantskaya Ekaterina
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland