Häftad, Engelska, 2026
Functional and Logic Programming
18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26–28, 2026, Proceedings
Av Michael Sperber, Ekaterina Komendantskaya
Del 16533 i serien Lecture Notes in Computer Science
738 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2026-05-12
- Mått: 155 x 235 x 18 mm
- Vikt: 493 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 307
- Förlag: Springer Verlag, Singapore
- ISBN: 9789819201839
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.