Functional and Logic Programming

Description

This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues. Front Matter ....Pages I-XVI Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name (Masayuki Mizuno, Eijiro Sumii)....Pages 1-16 Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic (Satoshi Matsuoka)....Pages 17-32 \(\lambda \) to SKI, Semantically (Oleg Kiselyov)....Pages 33-50 Program Extraction for Mutable Arrays (Kazuhiko Sakaguchi)....Pages 51-67 Functional Pearl: Folding Polynomials of Polynomials (Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu)....Pages 68-83 A Functional Perspective on Machine Learning via Programmable Induction and Abduction (Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe)....Pages 84-98 Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation (Makoto Hamana)....Pages 99-115 Confluence Modulo Equivalence with Invariants in Constraint Handling Rules (Daniel Gall, Thom Frühwirth)....Pages 116-131 On Probabilistic Term Rewriting (Martin Avanzini, Ugo Dal Lago, Akihisa Yamada)....Pages 132-148 Equivalence Checking of Non-deterministic Operations (Sergio Antoy, Michael Hanus)....Pages 149-165 Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers (Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki)....Pages 166-181 Breaking Symmetries with Lex Implications (Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey)....Pages 182-197 Model Checking Parameterized by the Semantics in Maude (Adrián Riesco)....Pages 198-213 Automated Amortised Resource Analysis for Term Rewrite Systems (Georg Moser, Manuel Schneckenreither)....Pages 214-229 A Common Framework Using Expected Types for Several Type Debugging Approaches (Kanae Tsushima, Olaf Chitil)....Pages 230-246 CauDEr: A Causal-Consistent Reversible Debugger for Erlang (Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal)....Pages 247-263 Cheap Remarks About Concurrent Programs (Michael Walker, Colin Runciman)....Pages 264-279 Back Matter ....Pages 281-281