Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

✍ Scribed by Josep Silva

• Publisher: Springer International Publishing
• Year: 2019
• Tongue: English
• Leaves: 183
• Series: Lecture Notes in Computer Science 11285
• Edition: 1st ed.
• Category: Library

✦ Synopsis

This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018.

From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.

✦ Table of Contents

Front Matter ....Pages i-vii
Front Matter ....Pages 1-1
Transpiling Programming Computable Functions to Answer Set Programs (Ingmar Dasseville, Marc Denecker)....Pages 3-17
Code Generation for Higher Inductive Types (Paventhan Vivekanandan)....Pages 18-35
Front Matter ....Pages 37-37
Measuring Coverage of Prolog Programs Using Mutation Testing (Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner)....Pages 39-55
Runtime Verification in Erlang by Using Contracts (Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit)....Pages 56-73
Enhancing POI Testing Through the Use of Additional Information (Sergio Pérez, Salvador Tamarit)....Pages 74-90
Front Matter ....Pages 91-91
Synthesizing Set Functions (Sergio Antoy, Michael Hanus, Finn Teegen)....Pages 93-111
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs (Henning Christiansen, Maja H. Kirkeby)....Pages 112-130
Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming (Jan C. Dageförde)....Pages 131-144
FMS: Functional Programming as a Modelling Language (Ingmar Dasseville, Gerda Janssens)....Pages 145-161
Functional Federated Learning in Erlang (ffl-erl) (Gregor Ulm, Emil Gustavsson, Mats Jirstrand)....Pages 162-178
Back Matter ....Pages 179-179

✦ Subjects

Computer Science; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters