Functional and Constraint Logic Programming
28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Michael Hanus
Themen in »Functional and Constraint Logic Programming«
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