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

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.

List of contents

Programming Paradigms.- Implementation and Static Analysis.- Generating and Checking Exercises.- Constraint Programming.

Product details

• Assisted by: Michae Hanus (Editor), Michael Hanus (Editor), Sacerdoti Coen (Editor), Sacerdoti Coen (Editor), Claudio Sacerdoti Coen (Editor), Sacerdoti-Coen (Editor), C. Sacerdoti-Coen (Editor), Claudio Sacerdoti-Coen (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 29.07.2021
• EAN: 9783030753320
• ISBN: 978-3-0-3075332-0
• No. of pages: 145
• Dimensions: 155 mm x 8 mm x 235 mm
• Illustrations: VII, 145 p. 30 illus., 10 illus. in color.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT