Functional and Logic Programming
1997
This volume contains the papers presented at the 16th International Symposium on Functional and Logic Programming (FLOPS 2022) held during May 10-12, 2022, in Kyoto, 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 implementors 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.