TY - BOOK AU - Gibbons,Jeremy AU - Miller,Dale ED - SpringerLink (Online service) TI - Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings T2 - Lecture Notes in Computer Science, SN - 9789819723003 AV - QA76.758 U1 - 005.1 23 PY - 2024/// CY - Singapore PB - Springer Nature Singapore, Imprint: Springer KW - Software engineering KW - Artificial intelligence KW - Programming languages (Electronic computers) KW - Computer programming KW - Computer science KW - Computer systems KW - Software Engineering KW - Artificial Intelligence KW - Programming Language KW - Programming Techniques KW - Computer Science Logic and Foundations of Programming KW - Computer System Implementation N2 - 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 UR - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-981-97-2300-3 ER -