Functional and Constraint Logic Programming | 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers | ISBN 9783030753337

Functional and Constraint Logic Programming

28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

herausgegeben von Michael Hanus und Claudio Sacerdoti Coen
Mitwirkende
Herausgegeben vonMichael Hanus
Herausgegeben vonClaudio Sacerdoti Coen
Buchcover Functional and Constraint Logic Programming  | EAN 9783030753337 | ISBN 3-030-75333-6 | ISBN 978-3-030-75333-7

Functional and Constraint Logic Programming

28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

herausgegeben von Michael Hanus und Claudio Sacerdoti Coen
Mitwirkende
Herausgegeben vonMichael Hanus
Herausgegeben vonClaudio Sacerdoti Coen

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.

Due to the COVID-19, the workshop was held online.

From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.