| Description |
1 online resource (vii, 179 pages) : illustrations (some color) |
| Series |
Lecture notes in computer science ; 11285 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 11285.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
[I]. Compilers and code generation: 1. Transpiling programming computable functions to answer set programs / Ingmar Dasseville and Marc Denecker -- 2. Code generation for higher inductive types : a study in Agda metaprogramming / Paventhan Vivekanandan |
|
[II]. Debugging and testing: 3. Measuring coverage of prolog programs using mutation testing / Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, and Philipp Körner -- 4. Runtime verification in Erlang by using contracts / Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, and Salvador Tamarit -- 5. Enhancing POI testing through the use of additional information / Sergio Pérez and Salvador Tamarit |
|
[III]. Foundations of functional logic programming: 6. Synthesizing set functions / Sergio Antoy, Michael Hanus, and Finn Teegen -- 7. Towards a constraint solving for proving confluence with invariant and equivalence of realistic CHR programs / Henning Christiansen and Maja H. Kirkeby -- 8. Reference type logic variables in constraint-logic object-oriented programming / Jan C. Dageförde -- 9. FMS : functional programming as a modelling language / Ingmar Dasseville and Gerda Janssens -- 10. Functional federated learning in Erlang (ffl-erl) / Gregor Ulm, Emil Gustavsson, and Mats Jirstrand |
| Summary |
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 |
| Notes |
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed March 21, 2019) |
| Subject |
Functional programming (Computer science) -- Congresses
|
|
Constraint programming (Computer science) -- Congresses
|
|
Logic programming -- Congresses
|
|
Constraint programming (Computer science)
|
|
Functional programming (Computer science)
|
|
Logic programming
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Silva, Josep, editor
|
| ISBN |
9783030162023 |
|
3030162028 |
|
