Functional and Logic Programming

Abstract

This volume contains the papers presented at the 17th International Symposium on Functional and Logic Programming (FLOPS 2024), held during May 15–17, 2024 in Kumamoto, Japan. Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and rewriting, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers, and implementers of declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. FLOPS has a long tradition. Previous meetings were held at Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008), Sendai (2010), Kobe (2012), Kanazawa (2014), Kochi (2016), Nagoya (2018), Akita (online, 2020), and Kyoto (online, 2022). The call for papers resulted in 34 abstract submissions, of which 28 were finally submitted as full papers. The subsequent reviewing process was double-blind. Each submission was reviewed by at least three reviewers, either Program Committee (PC) members or external referees. After careful and thorough discussions, the PC accepted seven regular research papers, seven system descriptions, and one declarative pearl. The program also included four invited talks by Lennart Augustsson (Epic Games), Youyou Cong (Tokyo Institute of Technology), Katsumi Inoue (National Institute of Informatics), and Yuliya Lierler (University of Nebraska). Katsumi Inoue provided an extended abstract, which is included in these proceedings. We would like to thank all invited speakers and authors for their contributions. We are grateful to all PC members and external reviewers for their hard work and to EasyChair for their conference management system which made our work of organizing FLOPS 2024 much easier. We thank the local co-organizers, Shin-ya Katsumata and Naohiko Hoshino, who did a great job setting up the conference and ensuring everything ran smoothly. Finally, we would like to thank our sponsors, the KDDI Foundation and the Japan Software Science Society Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL), for their continued support. We acknowledge the cooperation of ACM SIGPLAN and the Asian Association for Foundation of Software (AAFS).