arXiv:1810.00724v1 [cs.PL] 1 Oct 2018
This volume constitutes the pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018). It is formed of those papers selected by the program committee for presentation at the workshop. After discussion at the workshop, the program committee will select a number of papers to be invited for a second round of refereeing and selection for the formal proceedings.
The 26th International Workshop on Functional and (constraint) Logic Programming (WFLP 2018) will be held at the Goethe-University Frankfurt am Main, Germany, on September 6th, 2018. Previous WFLP editions were WFLP 2017 (Würzburg, Germany), WFLP 2016 (Leipzig, Germany), WFLP 2014 (Wittenberg, Germany), WFLP 2013 (Kiel, Germany), WFLP 2012 (Nagoya, Japan), WFLP 2011 (Odense, Denmark), WFLP 2010 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany).
Transpiling Programming Computable Functions to Answer Set Programs |
Ingmar Dasseville and Marc Denecker |
Synthesizing Set Functions |
Sergio Antoy, Michael Hanus and Finn Teegen |
When You Should Use Lists in Haskell (Mostly, You Should Not) |
Johannes Waldmann |
Runtime verification in Erlang by using contracts |
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez and Salvador Tamarit |
Reference Type Logic Variables in Constraint-logic Object-oriented Programming |
Jan C. Dageförde |
Exploring Parallel Execution Strategies for Constraint Handling Rules |
Thom Fruehwirth and Daniel Gall |
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs |
Henning Christiansen and Maja Kirkeby |
Code Generation for Higher Inductive Types |
Paventhan Vivekanandan |
Functional Federated Learning in Erlang (ffl-erl) |
Gregor Ulm, Emil Gustavsson and Mats Jirstrand |
Making Bubbling Practical |
Steven Libby and Sergio Antoy |
FMS: Functional Programming as a Modelling Language |
Ingmar Dasseville and Gerda Janssens |
Enhancing POI testing approach through the use of additional information |
Sergio Pérez and Salvador Tamarit |
Measuring Coverage of Prolog Programs Using Mutation Testing |
Alexandros Efraimidis, Joshua Schmidt, Sebastian Krings and Philipp Körner |