Michael Hanus,
Claudio Sacerdoti Coen
Springer International Publishing
e druk, 2021
9783030753320
Functional and Constraint Logic Programming
28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
Specificaties
Paperback, 250 blz.
|
Engels
Springer International Publishing |
e druk, 2021
ISBN13: 9783030753320
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783030753320
Taal:Engels
Bindwijze:paperback
Aantal pagina's:250
Uitgever:Springer International Publishing
Inhoudsopgave
<p>Programming Paradigms.- Implementation and Static Analysis.- Generating and Checking Exercises.- Constraint Programming.</p>