03067nam a22006135i 4500 978-981-97-2300-3 DE-He213 20251030112045.0 cr nn 008mamaa 240516s2024 si | s |||| 0|eng d 9789819723003 978-981-97-2300-3 10.1007/978-981-97-2300-3 doi QA76.758 UMZ bicssc COM051230 bisacsh UMZ thema Functional and Logic Programming [electronic resource] : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings / edited by Jeremy Gibbons, Dale Miller. 1st ed. 2024. Singapore : Springer Nature Singapore : Imprint: Springer, 2024. XXVII, 314 p. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, 1611-3349 ; 14659 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. Software engineering. 33953 Artificial intelligence. 58441 Programming languages (Electronic computers). 66206 Computer programming. Computer science. 58552 Computer systems. Software Engineering. 33953 Artificial Intelligence. 58441 Programming Language. 66208 Programming Techniques. 65517 Computer Science Logic and Foundations of Programming. 68173 Computer System Implementation. Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 https://orcid.org/0000-0002-8426-9917 edt http://id.loc.gov/vocabulary/relators/edt 76924 Miller, Dale. editor. (orcid)0000-0003-0274-4954 https://orcid.org/0000-0003-0274-4954 edt http://id.loc.gov/vocabulary/relators/edt 76925 SpringerLink (Online service) Springer Nature eBook Printed edition: 9789819722990 Printed edition: 9789819723010 Lecture Notes in Computer Science, 1611-3349 ; 14659 https://doi.org/10.1007/978-981-97-2300-3 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC 59907 59907