Functional and Logic Programming
17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.
The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of
declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.
Programming languages functional programming logic programming
Autor*in
Jeremy Gibbons
Themen in »Functional and Logic Programming«
architecture verification and validation artificial intelligence computer hardware computer programming computer systems distributed computer systems distributed systems embedded systems formal logic functional programming logic programming object-oriented programming parallel processing systems program compilers software architecture