17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings Gibbons, Jeremy. editor. edt http://id.loc.gov/vocabulary/relators/edt Miller, Dale. editor. edt http://id.loc.gov/vocabulary/relators/edt SpringerLink (Online service) text si 2024 1st ed. 2024. monographic eng

electronic

electronic resource

access XXVII, 314 p. online resource. 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. edited by Jeremy Gibbons, Dale Miller. Software engineering Artificial intelligence Programming languages (Electronic computers) Computer programming Computer science Computer systems Software Engineering Artificial Intelligence Programming Language Programming Techniques Computer Science Logic and Foundations of Programming Computer System Implementation QA76.758 9789819723003 https://doi.org/10.1007/978-981-97-2300-3 https://doi.org/10.1007/978-981-97-2300-3 240516 20251030112045.0 978-981-97-2300-3