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

researchr

You are not signed in
Sign in
Sign up

Josep Silva, editor, Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Volume 11285 of Lecture Notes in Computer Science, Springer, 2019. [doi]

Conference: wflp2019

Abstract is missing.

Transpiling Programming Computable Functions to Answer Set ProgramsIngmar Dasseville, Marc Denecker. 3-17 [doi]

Code Generation for Higher Inductive Types - A Study in Agda MetaprogrammingPaventhan Vivekanandan. 18-35 [doi]

Measuring Coverage of Prolog Programs Using Mutation TestingAlexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner. 39-55 [doi]

Runtime Verification in Erlang by Using ContractsLars-Åke Fredlund, Julio Mariño, Sergio Pérez 0001, Salvador Tamarit. 56-73 [doi]

Enhancing POI Testing Through the Use of Additional InformationSergio Pérez 0001, Salvador Tamarit. 74-90 [doi]

Synthesizing Set FunctionsSergio Antoy, Michael Hanus, Finn Teegen. 93-111 [doi]

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR ProgramsHenning Christiansen 0001, Maja H. Kirkeby. 112-130 [doi]

Reference Type Logic Variables in Constraint-Logic Object-Oriented ProgrammingJan C. Dageförde. 131-144 [doi]

FMS: Functional Programming as a Modelling LanguageIngmar Dasseville, Gerda Janssens. 145-161 [doi]

Functional Federated Learning in Erlang (ffl-erl)Gregor Ulm, Emil Gustavsson, Mats Jirstrand. 162-178 [doi]