Functional and Constraint Logic Programming
28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
AvMichael Hanus,Claudio Sacerdoti Coen
Häftad, Engelska, 2021
Del 12560 i serien Lecture Notes in Computer Science
565 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Michael Hanus, Daniela Inclezan
648 kr
Intelligent Computer Mathematics
Stephen Watt, Claudio Sacerdoti Coen, Lucas Dixon, Jacques Carette
E-bok
2009712 kr
Del 11617
Intelligent Computer Mathematics
Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen
Häftad, 2019
565 kr
Del 12833
Intelligent Computer Mathematics
Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen Watt
Häftad, 2009
566 kr
Intelligent Computer Mathematics
Claudio Sacerdoti Coen, Andrea Kohlhase, Edwin Brady, Cezary Kaliszyk
E-bok
2019708 kr