Functional and Constraint Logic Programming, 1st ed. 2021 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers Theoretical Computer Science and General Issues Series
Coordonnateurs : Hanus Michael, Sacerdoti Coen Claudio
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.
Programming Paradigms.- Implementation and Static Analysis.- Generating and Checking Exercises.- Constraint Programming.
Date de parution : 05-2021
Ouvrage de 145 p.
15.5x23.5 cm
Thèmes de Functional and Constraint Logic Programming :
Mots-clés :
logic programming; static analysis; constraint programming; implementation; programming languages; programming paradigms; formal methods; communication; computer programming; distributed computer systems; distributed systems; embedded systems; formal logic; functional programming; linguistics; logic programming; object-oriented programming; programming languages; signal processing; software engineering