Description
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
Coordinators: Hanus Michael, Sacerdoti Coen Claudio
Language: English
Subjects for Functional and Constraint Logic Programming:
Keywords
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
Support: Print on demand
Description
/li>Contents
/li>
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.
