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.

Table des matières

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

Détails du produit

• Collaboration: Michae Hanus (Editeur), Michael Hanus (Editeur), Sacerdoti Coen (Editeur), Sacerdoti Coen (Editeur), Claudio Sacerdoti Coen (Editeur), Sacerdoti-Coen (Editeur), C. Sacerdoti-Coen (Editeur), Claudio Sacerdoti-Coen (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 29.07.2021
• EAN: 9783030753320
• ISBN: 978-3-0-3075332-0
• Pages: 145
• Dimensions: 155 mm x 8 mm x 235 mm
• Illustrations: VII, 145 p. 30 illus., 10 illus. in color.
• Thèmes: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique